SOURCE-LINKED INTELLIGENCE
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA)
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-25T23:32:29.710Z. This is not the publication date.