Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Automated Theorem Proving on seL4 proof corpus (full library)

6,235Proof Lines Count

Stepwise

-44.521,585.743,2164,846.26Mar 20, 2026
Updated 27d ago

Evaluation Results

MethodLinks
2026.03
6,23536.2
2026.03
2,58115
2026.03
2711.6
2026.03
2041.2
2026.03
1971.1