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

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

0.2554Probability

MetaGen-IL

0.1689760.1914130.213850.236287Feb 17, 2020
Updated 4d ago

Evaluation Results

MethodLinks
2020.02
0.255457.81
2020.02
0.172349.45