Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Provinghttps://arxiv.org/abs/2512.23511 by StatsAreFun • 7 months ago 2 0 7 months agoARarxiv.org