3 min read
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
Paper on using LLMs for theorem proving to verify the seL4 microkernel, aiming for industrial-scale real-world application.
1 article
Paper on using LLMs for theorem proving to verify the seL4 microkernel, aiming for industrial-scale real-world application.