TY  - RPRT
TI  - ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis
AU  - Atharva Naik
AU  - Yash Mathur
AU  - Prakam
AU  - Carolyn Rose
AU  - David Mortensen
PY  - 2026
UR  - https://arxiv.org/abs/2605.05485
ID  - 2605.05485
ER  -