ReaComp: Compile LLM Reasoning into Zero-Cost Symbolic Solvers

Why LLM Inference Costs Are the Wrong Unit of Measure Every time an LLM solves a problem, it forgets how it solved it. Feed the model the same class of problem tomorrow, and it starts from scratch — burning the same tokens, taking the same computatio...