▲ 1 pointsTowards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4arxiv.orgby lr0·5mo ago·0 comments·view on hn ↗