Savanty — Skelf-ResearchNotes from Savanty: natural-language to Answer Set Programming, the typed self-repair loop, and what mathematical guarantees actually mean in practice.https://savanty.skelfresearch.com/en-usThe promise of 'mathematically guaranteed' — what it actually means herehttps://savanty.skelfresearch.com/blog/mathematically-guaranteed-what-it-means/https://savanty.skelfresearch.com/blog/mathematically-guaranteed-what-it-means/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.Fri, 29 May 2026 00:00:00 GMTFrom English to model: where translation breakshttps://savanty.skelfresearch.com/blog/from-english-to-model-where-translation-breaks/https://savanty.skelfresearch.com/blog/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.Fri, 08 May 2026 00:00:00 GMTWhy LLMs alone don't solve optimization problemshttps://savanty.skelfresearch.com/blog/llms-alone-dont-solve-optimization/https://savanty.skelfresearch.com/blog/llms-alone-dont-solve-optimization/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.Wed, 22 Apr 2026 00:00:00 GMT