Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Proof State

Benchmarks

Task NameDataset NameSOTA ResultTrend
Theorem RetrievalAugmented Proof State
R@10.246
5
Showing 1 of 1 rows