SOURCE-LINKED INTELLIGENCE
From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem Proving
Proceedings of The Big Picture v2: Crafting a Research Narrative
Read original source ↗ Open in workspace
- recordType
- paper
- region
- Global
Evidence & attribution
ACL Anthology and the credited paper authors. Bibliographic metadata only; abstracts and full papers are excluded. Third-party materials retain their respective rights.
License: ACL Anthology usage policy (metadata)
First collected: 2026-09-21T04:51:57.792Z. This is not the publication date.