Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better

Aaron Bembenek

There is growing excitement about building software verifiers, synthesizers, and other Automated Reasoning (AR) tools by combining traditional symbolic algorithms and Large Languag…