List your company

ResearchFormerly WizWand

seL4

Benchmarks

TaskDatasetSOTA resultTrendResults

Automated Theorem Proving

seL4

77.6Proof Success Rate

6

Automated Theorem Proving

seL4 hard (test)

69.8Proof Success Rate

6

Automated Theorem Proving

seL4 (test)

89Proof Success Rate

6

Automated Theorem Proving

seL4 (val)

79.8Proof Success Rate

6