TY - RPRT TI - Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better AU - Aaron Bembenek PY - 2025 UR - https://arxiv.org/abs/2507.05886 ID - 2507.05886 ER -