Stephane Derosiaux is a co-founder and CPTO at Conduktor focused on real-time data and agentic AI.
How media typically covers Stephane Derosiaux
Stephane Derosiaux as author
Compilers possess semantic closure—the ability to verify their own correctness through formal specifications—while LLMs lack this property, making them fundamentally incapable of knowing whether their outputs are correct.
“Author of "Semantic Closure: Why Compilers Know When They Are Right and LLMs Do Not" in Substack”