# Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions

> Полный текст доступен на английском

**Published:** 3 ноября 2026 г.
**Author:** Yang Xu, Shuwei Chen, Hailin Guo, Jun Liu
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/ru/articles/automated-theorem-generation-in-first-order-logic-by-construction-from-t

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…

> Материал агрегирован из первоисточника: **arXiv — cs.AI**
> [Читать полностью в arXiv — cs.AI](https://arxiv.org/abs/2611.00269)

**Теги:** #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*