d0c6bc641a56bebee9d985b937307367-Paper-Conference.pdf

Feb-12-2026, 01:32:26 GMT–Neural Information Processing Systems

Asuccessful autoformalization system could advance the fields of formal verification, program synthesis, and artificial intelligence. While the long-term goal of autoformalization seemed elusive for a long time, we show large language models provide new prospects towards this goal.

logic & formal reasoning, machine learning, urlhttp, (18 more...)

Neural Information Processing Systems

Feb-12-2026, 01:32:26 GMT

Conferences PDF

Add feedback

Country:
- Africa
  - Botswana > North-West District
    - Maun (0.04)
  - Ethiopia > Addis Ababa
    - Addis Ababa (0.04)
- Asia > 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)
- North America
  - Canada
    - British Columbia > Metro Vancouver Regional District
      - Vancouver (0.04)
    - Quebec > Montreal (0.04)
  - United States
    - California > Los Angeles County
      - Long Beach (0.04)
    - Montana (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Natural Language (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (0.89)

Duplicate Docs Excel Report

Title
d0c6bc641a56bebee9d985b937307367-Paper-Conference.pdf

Similar Docs Excel Report more

Title	Similarity	Source
None found