← Back to People
Co-authored paper on type systems for Move language using frontier LLMs for formal proofs in Lean.
2
Mentions
2
Articles
2
Outlets
Dec 2025 — Aug 2026
Coverage
Associated Topics
Coverage Patterns
How media typically covers Ilya Sergey
Article Types
- analysis1
Media Angles
- technical1
Narrative Framing
- breakthrough1
Appears In
Writes About
Articles
Most recent firstMentioned In
Referenced in coverage
When the Hard Part Stops Being Hard
Proofs and IntuitionspositiveAug 17, 2026
“Co-authored paper on type systems for Move language using frontier LLMs for formal proofs in Lean.”
Test, Don't (Just) Verify
alperenkeles.comanalysispositiveDec 24, 2025
AI-assisted mechanical proving is going mainstream, enabling LLMs to solve previously intractable formal verification problems by pushing programming from implementation to specification-driven development.
“Prominent researcher cited as being excited and hopeful about AI-assisted proofs in formal verification.”
AI ResearchFormal VerificationLLMsAI in Software Development