Proving Olympiad Algebraic Inequalities without Human Demonstrations

Feb-16-2026, 19:40:02 GMT–Neural Information Processing Systems

Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning.

logic & formal reasoning, machine learning, natural language, (17 more...)

Neural Information Processing Systems

Feb-16-2026, 19:40:02 GMT

Conferences PDF

Country:
- Asia
  - China > Beijing
    - Beijing (0.04)
  - Japan (0.04)
  - Singapore (0.04)
- Europe > Germany
  - Berlin (0.04)
- North America > United States (0.04)

Genre:
- Research Report > New Finding (0.46)

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

Duplicate Docs Excel Report

Title
96f8c5e879c339dae55e6c2188b02a33-Paper-Datasets_and_Benchmarks_Track.pdf

Similar Docs Excel Report more

Title	Similarity	Source
None found