DeepMath - Deep Sequence Models for Premise Selection

Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Een, Francois Chollet, Josef Urban

Nov-21-2025, 15:34:28 GMT–Neural Information Processing Systems

We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics.

conjecture, logic & formal reasoning, machine learning, (19 more...)

Neural Information Processing Systems

Nov-21-2025, 15:34:28 GMT

Conferences PDF

Country:
- Asia
  - Middle East > Jordan (0.05)
  - Singapore (0.04)
- Europe
  - Czechia > Prague (0.04)
  - France (0.04)
  - Spain > Catalonia
    - Barcelona Province > Barcelona (0.04)
- North America > Canada
  - Quebec > Montreal (0.04)
- South America > Argentina
  - Pampas > Buenos Aires F.D. > Buenos Aires (0.04)

Genre:
- Instructional Material (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning
    - Neural Networks > Deep Learning (1.00)
    - Statistical Learning (0.95)
  - Natural Language (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
DeepMath - Deep Sequence Models for Premise Selection
DeepMath - Deep Sequence Models for Premise Selection François Chollet

Similar Docs Excel Report more

Title	Similarity	Source
None found