Focus areas
- Lean 4 theorem proving
- Automated claim verification
- AI-augmented discovery
- Knowledge graph proofs
Lean 4 theorem proving for physics, automated verification of scientific claims, AI-augmented discovery, provably secure ML, and knowledge graph-backed proof pipelines.
