TY  - RPRT
TI  - Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
AU  - Jacqueline L. Mitchell
AU  - Brian Hyeongseok Kim
AU  - Chenyu Zhou
AU  - Chao Wang
PY  - 2025
UR  - https://arxiv.org/abs/2503.12686
ID  - 2503.12686
ER  -