>_ mohar@portfolio:~/blog$

blog.

Research notes/blogs and reimplementation details.

Logical-LM: A Complete Reimplementation of Logic Programming with LLMs

2026-08-17 ⏵ 6 min read

A from-scratch reimplementation of Logic-LM (EMNLP 2023) that translates natural language reasoning into symbolic logic, executes programs with deterministic solvers, and iteratively refines failures. My notes on what works, what doesn't, and how it compares to the original paper.