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

ConNF

Benchmarks

Task NameDataset NameSOTA ResultTrend
AutoformalizationConNF
TC@172.32
16
Showing 1 of 1 rows