TY - RPRT TI - Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation AU - Shiven Sinha AU - Shashwat Goel AU - Ponnurangam Kumaraguru AU - Jonas Geiping AU - Matthias Bethge AU - Ameya Prabhu PY - 2025 UR - https://arxiv.org/abs/2502.19414 ID - 2502.19414 ER -