ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

O ReaComp compila o raciocínio de LLMs em resolvedores simbólicos para síntese de programas, abordando a ineficiência e falta de confiabilidade das LLMs em tarefas difíceis. Esses resolvedores autônomos superam as LLMs em precisão e eficiência, e melhoram as configurações híbridas neuro-simbólicas, reduzindo significativamente o uso de tokens.