Formal Verification in Science

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

Focus areas

Lean 4 theorem proving
Verifiable AI for science
AI-augmented discovery
Knowledge graph proofs

Recent papers

Disaggregated Machine Learning via In-Physics Computing at Radio Frequency Science Advances · 2026 Digital twin
Quantum-Secure Multiparty Deep Learning Physical Review X · 2025

See these papers in the network →

Technology transition

Dirk Englund co-founded Axiomatic AI and is a technical advisor to Axiomatic AI.

Licensing: MIT Technology Licensing Office, available technologies from this lab ↗

← Back to QPAI