Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

1 points| lr0 | 10 days ago |arxiv.org