Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (via lr0) — discussion
#ai #math
