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

ReaComp kompiliert LLM-Argumentation in symbolische Programmsynthesizer, um die Ineffizienz und Unzuverlässigkeit von LLMs bei schwierigen Programmsyntheseaufgaben zu überwinden. Diese eigenständigen Löser erreichen eine höhere Genauigkeit und Effizienz als LLMs und verbessern neuro-symbolische Hybridsysteme, während sie den Token-Verbrauch erheblich reduzieren.