Primary evidence
- Artificial Intelligence for Large-Scale Computer-Assisted ReasoningS2 · Official institutional · Official announcement
AI4REASON launches a research program coupling machine learning with large-scale automated reasoning
The project focused on large and complex theories, learning from reasoning traces, feedback loops between deduction and learning, and knowledge accumulation across multiple mathematical representation styles.
What happened?
The European Commission records AI4REASON as starting on 1 September 2015 with the goal of developing AI methods that combine automated reasoning and machine learning into independent self-improving systems.
Why it matters
AI4REASON helped consolidate learning-guided automated reasoning into a sustained, explicitly named AI research program immediately before the deep-learning theorem-proving wave represented by DeepMath and related systems.
Significance rationale: The ERC-funded AI4REASON project institutionalized a multi-year research agenda explicitly combining machine learning, automated reasoning and self-improving deduction–learning loops over large formal, semi-formal and informal corpora.
Historical context
Earlier developments
—
Later developments
—
Related milestones
—
Evidence & status at a glance
- Significance
- H2 · Field milestone
- Verification
- Claimed
- Evidence level
- E2 · Research record
- AI role
- Not applicable
- Formal assurance
- No formal assurance
Contribution & verification
- Mathematical novelty
- Not applicable
- Interface
- Not applicable
- AI contribution
- This Event records the launch of a research program rather than a single AI system executing a mathematical task.
- Human contribution
- Josef Urban and project collaborators formulated and executed the research agenda with ERC support.
- Verification
- Claimed · E2 · Research record · No formal assurance
- Last reviewed
- 2026-09-15
Technical details
- Systems
- —
- Organizations
- czech-technical-university, european-research-council
- Problems
- —
- Methods
- —
Sources & artifacts
- Artificial Intelligence for Large-Scale Computer-Assisted ReasoningS2 · Official institutional · Official announcement · accessed 2026-09-15
Verification history
- 2015-09-01 · Claimed · E2 · Research record
The European Commission CORDIS project record supplies the exact start date, funding context and technical research objectives.
Corrections
No corrections recorded.