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

Theorem Proving (Substitution Network) on set.mm (val)

0.6847Prob

MetaGen-IL

-0.0265560.1580970.342750.527403Feb 17, 2020
Updated 4d ago

Evaluation Results

MethodLinks
2020.02
0.684783.9
2020.02
0.643981.85
2020.02
0.614281.57
2020.02
0.376567.07
2020.02
0.37166.56
2020.02
0.320361.78
2020.02
0.273858.91
2020.02
0.018631.38
2020.02
0.018124.33
2020.02
0.010329.68
2020.02
0.00329.06
2020.02
0.00080.01