Autoformalization with Large Language Models

Nov-16-2025, 06:49:59 GMT–Neural Information Processing Systems

While the long-term goal of autoformalization seemed elusive for a long time, we show large language models provide new prospects towards this goal.

large language model, logic & formal reasoning, natural language, (16 more...)

Neural Information Processing Systems

Nov-16-2025, 06:49:59 GMT

Conferences PDF

Country:
- Africa
  - Botswana > North-West District
    - Maun (0.04)
  - Ethiopia > Addis Ababa
    - Addis Ababa (0.04)
- Asia
  - Middle East > Jordan (0.04)
  - Singapore (0.04)
- Europe
  - Austria > Vienna (0.14)
  - France > Brittany
    - Ille-et-Vilaine > Rennes (0.04)
  - Germany > Berlin (0.04)
  - Italy (0.04)
  - Spain > Catalonia
    - Barcelona Province > Barcelona (0.04)
  - United Kingdom > England
    - Cambridgeshire > Cambridge (0.14)
- North America
  - Canada
    - British Columbia > Vancouver (0.04)
    - Quebec > Montreal (0.04)
  - United States
    - California
      - Los Angeles County > Long Beach (0.14)
      - Santa Clara County > Palo Alto (0.04)
    - Montana (0.04)

Industry:
- Information Technology (0.67)

Technology:
- Information Technology > Artificial Intelligence
  - Natural Language > Large Language Model (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)