TY  - RPRT
TI  - ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
AU  - Riyaz Ahuja
AU  - Tate Rowney
AU  - Jeremy Avigad
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2605.22885
ID  - 2605.22885
ER  -