Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification(cacm.acm.org)
cacm.acm.org
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
https://cacm.acm.org/research/formal-reasoning-meets-llms-toward-ai-for-mathematics-and-verification/
0 コメント
—