Hacker News new | ask | show | jobs
Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving (arxiv.org)
2 points by StatsAreFun 167 days ago