ResearchBenchmarksAutomated Theorem Proving on seL4 proof corpus (full library)Automated Theorem Proving on seL4 proof corpus (full library)Follow6,235Proof Lines CountStepwise-44.521,585.743,2164,846.26Mar 20, 2026Evaluation resultsMethodMethodLinksProof Lines CountCoverage (%)Stepwise2026.036,23536.2Hammer2026.032,58115FVEL2026.032711.6Auto2026.032041.2Selene2026.031971.1