██FR█████ █INTELL███████████
frenchintelligence.org
theoremproving
Bridging the Abstraction Gap: Formalizing Complex Systems with AI by Arvind Sundararajan
November 14, 2025
