Example: biology
Formal Mathematics Statement Curriculum Learning

Formal Mathematics Statement Curriculum Learning

Back to document page

more automation (such as more domain-specific statements generator or even informal to formal machine translation). 1.1. miniF2F benchmark In this work, we target the miniF2F (Zheng et al.,2021) benchmark, which consists of 244 validation and 244 test formalized statements of mathematical problems from var-ious competitions.

  Automation

Download Formal Mathematics Statement Curriculum Learning


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries