Showing 2025 · cs.LOShow all
3 papers · 2 filters
cs.LO2025
An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
Yang Xu, Peiyao Liu, Shuwei Chen +1
Currently, there is a lack of rigorous theoretical system for systematically generating non-trivial and logically valid theorems. Addressing this critical gap, this paper conducts…
cs.LO2025
Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
Yang Xu, Xingxing He, Shuwei Chen +2
Automated deduction seeks to enable machines to reason with mathematical precision and logical completeness. Classical resolution-based systems, such as Prover9, E, and Vampire, re…
cs.LO2025
Contradictions
Yang Xu, Shuwei Chen, Xiaomei Zhong +2
Trustworthy AI requires reasoning systems that are not only powerful but also transparent and reliable. Automated Theorem Proving (ATP) is central to formal reasoning, yet classica…