Hacker News new | ask | show | jobs
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (cacm.acm.org)
1 points by imakwana 124 days ago