Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (cacm.acm.org) 1 points by imakwana 6mo ago ↗ HN
0 comments
[ 3.7 ms ] story [ 11.9 ms ] threadNo comments yet.