Multi-language Diversity Benefits Autoformalization
–Neural Information Processing Systems
Autoformalization is the task of translating natural language materials into machine-verifiable formalisations. Progress in autoformalization research is hindered by the lack of a sizeable dataset consisting of informal-formal pairs expressing the same essence.
Neural Information Processing Systems
Oct-10-2025, 10:38:37 GMT
- Country:
- Asia > Japan
- Honshū > Kansai > Kyoto Prefecture > Kyoto (0.04)
- Europe
- Austria > Vienna (0.14)
- Germany > Berlin (0.04)
- Ireland (0.04)
- Spain > Catalonia
- Barcelona Province > Barcelona (0.04)
- United Kingdom > England
- Cambridgeshire > Cambridge (0.14)
- North America
- Canada > British Columbia
- Vancouver (0.04)
- United States
- California > Santa Clara County
- Palo Alto (0.04)
- Hawaii > Honolulu County
- Honolulu (0.04)
- Louisiana > Orleans Parish
- New Orleans (0.04)
- California > Santa Clara County
- Canada > British Columbia
- Asia > Japan
- Genre:
- Research Report > Experimental Study (1.00)
- Industry:
- Information Technology (0.46)
- Technology: