Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving(arxiv.org)
arxiv.org
Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving
https://arxiv.org/abs/2512.23511
0 comments
—
https://arxiv.org/abs/2512.23511
—