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

 (arxiv.org)

1 points | by lr0 8 hours ago ago

No comments yet.