{"id":"arxiv/2609.19545","url":"https://arxiv.org/abs/2609.19545","tags":["math.OC","cs.PL"],"score":0,"title":"Where the LLM Ends and Reliable Decisions Begin","domain":"math.OC","source":"arxiv","authors":["Priyadarshan Patil","Abhishek Basu","Vikas Reddy","Abhinav Gupta"],"reviews":0,"subject":"math.OC","summary":"Systems that turn natural-language descriptions of optimization problems into solver-ready code generally use a language model at every stage, including the final translation from a mathematical formulation into executable model-building code. We propose the ANVIL compiler architecture, where we separate these concerns. A language model is called only once, assisted by constraint guidance based on problem type, to produce a LaTeX formulation. A deterministic compiler then translates that LaTeX into code with no language model involvement. We describe the deterministic compiler (a normalizer,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}