Link preview
When AI Writes the World's Software, Who Verifies It? — Leonardo de Moura
Leonardo de Moura — Creator of Lean and Z3 gwern.net · leodemoura.github.io
Research proposal for measuring how coding LLM perplexity scales with codebase context size, using Lean as a test case for whether formal languages have better predictability exponents and could lead to safer, more secure software worldwide.
Comments