Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia 1 David Broman 4 Nick Haber 1,3 Noah D. Goodman

Feb-12-2026, 16:11:47 GMT–Neural Information Processing Systems

How did humanity coax mathematics from the æther?

large language model, logic & formal reasoning, machine learning, (20 more...)

Neural Information Processing Systems

Feb-12-2026, 16:11:47 GMT

Conferences PDF

Country:
- Asia
  - Indonesia > Bali (0.04)
  - Singapore (0.04)
- Europe
  - Italy (0.04)
  - Sweden (0.04)
- North America > United States
  - California > Santa Clara County > Palo Alto (0.04)

Genre:
- Research Report > Experimental Study (1.00)

Industry:
- Information Technology (0.46)
- Leisure & Entertainment > Games (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks (0.93)
  - Natural Language > Large Language Model (0.68)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia 1 David Broman 4 Nick Haber 1,3 Noah D. Goodman

Similar Docs Excel Report more

Title	Similarity	Source
None found