Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic

Hongyu Lin, Samer Abdallah, Makar Valentinov +5

Large Language Models (LLMs) have shown strong performance on code understanding tasks, yet they fundamentally lack the ability to perform precise, exhaustive mathematical reasonin…