Advanced search

Filter By:

Journal Check one or more journals to show results from those journals only.
Article type Check one or more article types to show results from those article types only.
Subject Check one or more subjects to show results from those subjects only.
Date Choose a date option to show results from those dates only.

Custom date range

Clear all filters
Sort by:
Showing 1–1 of 1 results
Advanced filters: Author: Yannick Schroecker Clear advanced filters

  • Olympiad-level formal mathematical reasoning is achieved with reinforcement learning, with performance reaching a score equivalent to that of a silver medallist at the 2024 International Mathematical Olympiad competition.

    • Thomas Hubert
    • Rishi Mehta
    • David Silver
    ResearchOpen Access
    Nature
    Volume: 651, P: 607-613