Field notes
Where natural language and formal methods meet — and where the seam shows.
May 29, 2026
The promise of 'mathematically guaranteed' — what it actually means here
Marketing copy makes the phrase do a lot of work. Inside the pipeline, the guarantee has a precise scope, a precise boundary, and an honest gap. This is where each one lives.
formal-methodssoundnessguarantees
May 8, 2026
From English to model: where translation breaks
The LLM is a translator. Translators get things wrong. The interesting question is which kinds of wrong are recoverable from inside the loop — and how.
asprepair-loopunsat-core
April 22, 2026
Why LLMs alone don't solve optimization problems
A large language model can describe a shift schedule. Asking it to produce one is a different request entirely — and the failure mode is invisible until you look.
llmoptimizationasp