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: Ingrid von Glehn 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