ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis. - Atharva Naik; Yash Mathur; Prakam; Carolyn P. Rosé; David Mortensen (CoRR, 2026)