Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions
arXiv:2611.00269v1 Announce Type: new Abstract: Automated theorem generation (ATG) seeks to construct new theorems rather than merely prove given conjectures. Existing approaches typically generate candidate statements that require subsequent proof or formal verification. We propose a constructive…
Read the full story at arXiv cs.AI ↗
Timeline · 1 report
- 2026-11-03 05:00 · arXiv cs.AI
Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions