Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving (arxiv.org) 2 points by StatsAreFun 6mo ago ↗ HN
0 comments
[ 2.9 ms ] story [ 9.5 ms ] threadNo comments yet.