Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions
This story is from 2026-11-04. It is preserved in the archive; the latest stories are on the live feed.
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-04 05:00 · arXiv cs.AI
Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions