Saturday, Oct 17, 2026
LLMs can write rules for a programming language and prove that its interpreter follows them.