Imandra CodeLogician: A Deep Dive into Neuro-Symbolic Code Verification
Notes on the Imandra CodeLogician paper — how neuro-symbolic methods tackle code verification with LLMs and formal reasoning working together.
Notes on the Imandra CodeLogician paper — how neuro-symbolic methods tackle code verification with LLMs and formal reasoning working together.
Rough notes on what some call the best ML paper of 2025. Spoiler: it's all gradient descent, apparently.
How a conference in Bologna turned me into a Lean4 evangelist and set me on the path toward vericoding.