3 ms·Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving2 points by StatsAreFun 9mo ago