Measuring interestingness of theorems in automated theorem finding by forward reasoning based on strong relevant logic
H Gao, J Li, J Cheng - 2019 IEEE International Conference on …, 2019 - ieeexplore.ieee.org
The problem of automated theorem finding is one of 33 basic research problems in
automated reasoning which was originally proposed by Wos in 1988, and it is still an open …
automated reasoning which was originally proposed by Wos in 1988, and it is still an open …
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
The pursue of what are properties that can be identified to permit an automated reasoning
program to generate and find new and interesting theorems is an interesting research goal …
program to generate and find new and interesting theorems is an interesting research goal …
Automated Generation of Massive Reasonable Empirical Theorems by Forward Reasoning Based on Strong Relevant Logics--A Solution to the Problem of LLM Pre …
J Cheng - arxiv preprint arxiv:2412.12408, 2024 - arxiv.org
Recently, it is often said that the data used for the pre-training of large language models
(LLMs) have been exhausted. This paper proposes a solution to the problem: Automated …
(LLMs) have been exhausted. This paper proposes a solution to the problem: Automated …
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry
H Gao, J Li, J Cheng - … & Communications, Cloud & Big Data …, 2018 - ieeexplore.ieee.org
The problem of automated theorem finding is one of 33 basic research problems in
automated reasoning which was originally proposed by Wos in 1988, and it is still an open …
automated reasoning which was originally proposed by Wos in 1988, and it is still an open …
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose
T Otsuka, K Fukushi, Y Goto… - 2018 IEEE SmartWorld …, 2018 - ieeexplore.ieee.org
Forward reasoning engine is a computer program to automatically draw new conclusions by
repeatedly applying inference rules to given premises and obtained conclusions until some …
repeatedly applying inference rules to given premises and obtained conclusions until some …