• Article metrics
  • Last updated: Sat, 18 Apr 2026 17:50:33 Z

Olympiad-level formal mathematical reasoning with reinforcement learning

Access & Citations

  • 99k
    Article Accesses
  • 16
    Citations

Citation counts are provided by Dimensions and depend on their data availability. Counts will update daily, once available.

Online attention

Altmetric score 354
  • 237 tweeters
  • 4 blogs
  • 2 Facebook pages
  • 31 news outlets
  • 3 Redditors
  • 2 Video uploaders
  • 23 Mendeley

This article is in the 99th percentile (ranked 990th) of the 347,934 tracked articles of a similar age in all journals and the 91st percentile (ranked 87th) of the 1,009 tracked articles of a similar age in Nature

View more on Altmetric

Altmetric calculates a score based on the online attention an article receives. The donut visual summarises attention from different sources; a breakdown is shown in the legend. The number in the centre is the Altmetric score. Social media and mainstream news media are the main sources that calculate the score. Reference managers such as Mendeley are also tracked but do not contribute to the score. Older articles often score higher because they have had more time to get noticed. To account for this, Altmetric has included the context data for other articles of a similar age.

Mentions in news and blogs

This list highlights individual mainstream news articles and blogs that cite the article. Not all news and blogs link to articles in a way that Altmetric can pick up, so they are not representative of all media. Altmetric are responsible for the curation of this list and provide updates hourly.