Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-17T00:44:01.658214Z
Paper Citation Record · LEDGER
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
As of 21 July 2026, this Paper Citation Record lists 32 of 32 outbound references and 55 inbound Pith citation observations for arXiv:2411.04872.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-07-21T06:31:05.380196+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-14T17:09:09.167784Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-10T20:47:34.579097Z
Reference resolution
32 of 32 outbound references displayed
- verified exact1
- verified fuzzy27
- unresolved0
- parse uncertain1
- malformed identifier0
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 39460a96-c5fa-4602-b86c-f4e3b3875d4a · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.776584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation cf80a1b0-5933-41af-aafc-d8093549bd21 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.783257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5309dc1d-68ff-4f05-ade1-2a7ea1675038 · outbound
This paper cites Advances in neural information processing systems , volume=.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Advances in neural information processing systems , volume=
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.786765Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation be4f333b-bea8-4592-9273-32be998c95d4 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.790311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c079aed5-3f1b-494a-bae6-bf443fe82477 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.699208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 9f7f2aeb-ed36-4447-958b-2a61098fbe23 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.702938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 2c1a2fb4-fd83-4128-81a3-58261ad21fec · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.706206Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3c77b4b2-5b20-4d2f-b613-2ebfc97e2dc1 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.709516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 2da17ad2-2d52-4627-b3aa-8bea89bdab7b · outbound
This paper cites Nature , publisher =.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Nature , publisher =
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.712633Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c868446b-73ee-4711-b2a8-fe6e8e2c5c9b · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.715737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation ac70278b-34f8-47ab-a9a6-f505cb231d04 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.718881Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 183977ef-4d2a-433b-bb34-1c1af7309b15 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.721927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c097ccc9-30c1-4eb5-8923-fbb295536bcd · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.724693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5aa33541-7d41-4731-86e0-483e1659e6c2 · outbound
This paper cites Nature , publisher =.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Nature , publisher =
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.727711Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 20169156-23d9-43ac-a66f-e30a1988562f · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.731161Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 49f4966f-5311-4f36-906f-a78d8ef8a620 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.734398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation cb113683-04c4-4100-9fa5-7dcd2199b93e · outbound
This paper cites Pervasive Label Errors in Test Sets Destabilize Machine Learning Benchmarks.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Pervasive Label Errors in Test Sets Destabilize Machine Learning Benchmarks
Reference 17
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T00:44:01.690041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f5efe89a-38c1-4cda-b0d3-d5e426d94940 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.738569Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation ecb2761b-ec7c-4459-9f3f-362fbc8cf68b · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.743211Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 2ccac011-6135-4a9f-bc18-d28ad5d74592 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.746652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 41001959-cce5-4d10-bb2c-844d83df24ba · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.749651Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a5280095-894f-4cae-bfc9-9b3fc95a88b1 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.752545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 776e030a-3b12-4862-92ad-422680b006b0 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 23
- Resolution
- parse uncertain
- raw_fallback, observed 2026-05-17T00:44:01.755642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 99a5fd29-758b-437d-bd9a-248f998a0b59 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.758675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f22bb72c-833d-4472-b5fa-c701bd9a23e9 · outbound
This paper cites MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts
Reference 25
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-17T00:44:01.695941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 07450d21-c93d-4329-b626-a3142cd1aa79 · outbound
This paper cites Measuring Massive Multitask Language Understanding.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Measuring Massive Multitask Language Understanding
Reference 26
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-17T00:44:01.684458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 85c98fc7-0d24-46bb-98ab-dbb71bc6ed53 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.761645Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 18eade63-0879-4ee7-99d4-1a3908f22e33 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.765058Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 57c6425c-6289-4531-b774-b58208d994f1 · outbound
This paper cites Equality of orders of a set of integers modulo a prime.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Equality of orders of a set of integers modulo a prime
Reference 29
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.679683Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 473cd1cc-18a3-4f7b-9b8a-2b3dfddfdead · outbound
This paper cites Curves over Finite Fields Attaining the Hasse-Weil Upper Bound.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Curves over Finite Fields Attaining the Hasse-Weil Upper Bound
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.769426Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3a52ed73-4240-4524-95bb-a66541497403 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.773294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation becd89a7-e3cb-4383-a917-ace9399e0154 · outbound
This paper cites an unresolved cited work.
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI Unresolved cited work
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T00:44:01.779996Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Pith citing papers
Observation 72a19ef2-e197-4494-ac82-e0e76871d46d · inbound
Humanity's Last Exam cites this paper.
Humanity's Last Exam FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c25b27db-ccc0-4271-b56c-714685194501 · inbound
Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models cites this paper.
Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 213
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 57ac86d0-1350-4f84-bccc-431fd86cc74f · inbound
A Survey of Reinforcement Learning for Large Reasoning Models cites this paper.
A Survey of Reinforcement Learning for Large Reasoning Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 163
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T00:02:25.462023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation cff174b5-0057-4edf-ad18-0884207b7c46 · inbound
CFDLLMBench: A Benchmark Suite for Evaluating Large Language Models in Computational Fluid Dynamics cites this paper.
CFDLLMBench: A Benchmark Suite for Evaluating Large Language Models in Computational Fluid Dynamics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 19
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-18T15:06:32.104836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 000180cb-00e4-4ce2-ac62-83df23cad931 · inbound
Probing the Critical Point (CritPt) of AI Reasoning: a Frontier Physics Research Benchmark cites this paper.
Probing the Critical Point (CritPt) of AI Reasoning: a Frontier Physics Research Benchmark FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 49
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T11:52:35.313977Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 39cbd854-f23d-4167-9e22-43d6ae7d89bb · inbound
Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems cites this paper.
Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T04:30:52.976368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation ee92b023-b7d2-482f-bf70-ed8868aa70e3 · inbound
AI for Mathematics: Progress, Challenges, and Prospects cites this paper.
AI for Mathematics: Progress, Challenges, and Prospects FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 58
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 308e4fcb-fae1-4860-b996-7d03eadb80bb · inbound
Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification cites this paper.
Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T22:02:43.946867Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9e23c67-577a-495e-a4d2-f5ea1c917233 · inbound
Xpertbench: Expert Level Tasks with Rubrics-Based Evaluation cites this paper.
Xpertbench: Expert Level Tasks with Rubrics-Based Evaluation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5180c4eb-610f-46eb-8faa-32218492a12c · inbound
Automated Conjecture Resolution with Formal Verification cites this paper.
Automated Conjecture Resolution with Formal Verification FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1dd9f079-99d9-4385-b390-bdd2948c03bb · inbound
Automated Conjecture Resolution with Formal Verification cites this paper.
Automated Conjecture Resolution with Formal Verification FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T12:18:10.165894Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f9bcabb-242f-4a8a-8a44-f1e791c99e28 · inbound
Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis cites this paper.
Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation b616c540-6143-40cb-b0b4-5de9c626106e · inbound
DeonticBench: A Benchmark for Reasoning over Rules cites this paper.
DeonticBench: A Benchmark for Reasoning over Rules FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 12
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 76f947a2-81ff-475f-ac0e-f6633f17f381 · inbound
Artificial Intelligence and the Structure of Mathematics cites this paper.
Artificial Intelligence and the Structure of Mathematics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 45
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a37c7062-38c5-463e-bf5b-5293a35583bf · inbound
Riemann-Bench: A Benchmark for Moonshot Mathematics cites this paper.
Riemann-Bench: A Benchmark for Moonshot Mathematics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 9
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 768a1353-c835-449e-96c1-b29c33efa2ea · inbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture cites this paper.
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 895512bc-89d5-4ec5-8bc9-57fb48e1f44f · inbound
Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems cites this paper.
Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 34
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 363b1d25-5919-476f-994f-1a610104efaf · inbound
Agentic Frameworks for Reasoning Tasks: An Empirical Study cites this paper.
Agentic Frameworks for Reasoning Tasks: An Empirical Study FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 55
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation ce61519e-7cd9-4cef-946f-e8e6ffa34df4 · inbound
Fine-Tuning Small Reasoning Models for Quantum Field Theory cites this paper.
Fine-Tuning Small Reasoning Models for Quantum Field Theory FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 3
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 7cc1818a-2bf0-4657-b3a6-8b82b28eb397 · inbound
MathDuels: Evaluating LLMs as Problem Posers and Solvers cites this paper.
MathDuels: Evaluating LLMs as Problem Posers and Solvers FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 39
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 923968c8-a34e-4d42-86a0-63c34adefdb0 · inbound
Forge: Quality-Aware Reinforcement Learning for NP-Hard Optimization in LLMs cites this paper.
Forge: Quality-Aware Reinforcement Learning for NP-Hard Optimization in LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 49
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5bd5622d-e6d2-4695-a04f-e7a1e94b9827 · inbound
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs cites this paper.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 15
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5d266f89-6a95-46b4-a4c1-16f6e7516e9e · inbound
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs cites this paper.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 15
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-20T22:24:07.822738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 430054da-3fda-405e-bbab-74a13dba2b83 · inbound
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics cites this paper.
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T00:44:01.791449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d2c6d8b1-7f5b-48b0-a474-40e12f42420a · inbound
STAR-P\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision cites this paper.
STAR-P\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T02:58:00.175045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 12f99899-ecf2-47ab-be40-905cbd9e37af · inbound
Scientific reasoning does not reliably translate into scientific forecasting in frontier AI cites this paper.
Scientific reasoning does not reliably translate into scientific forecasting in frontier AI FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 47
- Resolution
- verified exact
- local_arxiv, observed 2026-05-22T05:21:07.455360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3da02bf1-3fb3-4eff-ae75-4c9058268dee · inbound
RMA: an Agentic System for Research-Level Mathematical Problems cites this paper.
RMA: an Agentic System for Research-Level Mathematical Problems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 38
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T06:10:24.159655Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d8931d30-f951-4dcd-8dfe-c5b8af77d71b · inbound
MadEvolve: Evolutionary Optimization of Trading Systems with Large Language Models cites this paper.
MadEvolve: Evolutionary Optimization of Trading Systems with Large Language Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 3
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T05:25:23.375844Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 962229af-4518-4832-8218-d9276d110c0a · inbound
Self-Improving Language Models with Bidirectional Evolutionary Search cites this paper.
Self-Improving Language Models with Bidirectional Evolutionary Search FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 6
- Resolution
- verified exact
- local_arxiv, observed 2026-06-29T13:03:26.436991Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d2a75c58-b04b-43a3-be07-bb4cf9de881c · inbound
Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retention cites this paper.
Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retention FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 8
- Resolution
- verified exact
- local_arxiv, observed 2026-06-29T08:43:15.141444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 9e5c041c-014f-41ab-b5d9-1825db7f49f9 · inbound
Evaluating Interactive Reasoning in Large Language Models: A Hierarchical Benchmark with Executable Games cites this paper.
Evaluating Interactive Reasoning in Large Language Models: A Hierarchical Benchmark with Executable Games FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 7
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-29T17:53:47.431723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d07eae8e-f869-471d-81ad-8562e008dc17 · inbound
FVSpec: Real-World Property-Based Tests as Lean Challenges cites this paper.
FVSpec: Real-World Property-Based Tests as Lean Challenges FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 19
- Resolution
- verified exact
- local_arxiv, observed 2026-06-28T17:12:25.298307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 731c206a-b6f2-484b-b76c-575c46a49c03 · inbound
Trust Region On-Policy Distillation cites this paper.
Trust Region On-Policy Distillation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 45
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-01T20:56:13.250290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation dd0dcb8d-b48a-49d9-b464-a09ed08527f9 · inbound
An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models cites this paper.
An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-07-01T21:36:14.993846Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation abeef3e5-3717-44f4-bdf2-0905230e334a · inbound
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems cites this paper.
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 7
- Resolution
- verified exact
- local_arxiv, observed 2026-06-30T17:34:57.542083Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation fbfee4f5-4113-4d26-bbf3-a5866889807a · inbound
GTBench: A Curriculum-Grounded Benchmark for Evaluating LLMs as Mathematical Research Assistants in Graph Theory cites this paper.
GTBench: A Curriculum-Grounded Benchmark for Evaluating LLMs as Mathematical Research Assistants in Graph Theory FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T03:06:30.296889Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f31297e3-a2f6-43b1-ad07-d2d819cab9ad · inbound
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization cites this paper.
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-02T08:36:48.761264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d8702a46-4bd0-4b1f-a18b-21b44c265c7b · inbound
Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search cites this paper.
Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 27
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T15:27:05.514373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation ab30e99c-aef7-4f34-ab18-747f9c148845 · inbound
CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions cites this paper.
CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 20
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-02T03:46:32.299057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 2a7de1a8-87b1-4cf5-9585-e2d5fb46f9fa · inbound
How reliable are LLMs when it comes to playing dice? cites this paper.
How reliable are LLMs when it comes to playing dice? FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 9
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T17:37:14.662833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 318f2566-3ec4-49ab-b70d-8dc68026cf77 · inbound
Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.
Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 210
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T22:47:25.916162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e91a0f67-a638-4150-85f0-45cfe8d6fe91 · inbound
Sakana Fugu Technical Report cites this paper.
Sakana Fugu Technical Report FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 16
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-04T06:39:36.939254Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5e59d95f-482f-47d8-b827-8ebecf666c0f · inbound
Learning the ARTS of Search for Automated Discovery cites this paper.
Learning the ARTS of Search for Automated Discovery FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T08:09:41.810861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f8d10b29-0fe4-4ea3-b166-67a56fbff509 · inbound
Curriculum Reinforcement Learning Can Incentivize Reasoning Capacity in LLMs Beyond the Base Model cites this paper.
Curriculum Reinforcement Learning Can Incentivize Reasoning Capacity in LLMs Beyond the Base Model FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 9
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T08:39:42.300162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 14626137-7b07-4b29-9dd6-d2defe38cf00 · inbound
Theorist Toolbox: Tools for Agent Based LLM-assisted economic theory Research cites this paper.
Theorist Toolbox: Tools for Agent Based LLM-assisted economic theory Research FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 5
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T09:29:43.421885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d03d779f-a66c-45e2-8812-73b4a58be69d · inbound
Beyond Shapley: Efficient Computation of Asymmetric Shapley Values cites this paper.
Beyond Shapley: Efficient Computation of Asymmetric Shapley Values FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 12
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-04T18:20:04.548897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 02c26e77-4dcd-44f5-80b0-124a5c2740cf · inbound
Data and Evaluation Closed-Loop for Model Capability Enhancement cites this paper.
Data and Evaluation Closed-Loop for Model Capability Enhancement FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 10
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-01T15:25:48.060133Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation bb81e483-d698-401f-8a86-d526400fdf39 · inbound
IsoSci: A Benchmark of Isomorphic Cross-Domain Science Problems for Evaluating Reasoning versus Knowledge Retrieval in LLMs cites this paper.
IsoSci: A Benchmark of Isomorphic Cross-Domain Science Problems for Evaluating Reasoning versus Knowledge Retrieval in LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 5
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T21:18:58.261153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e26a7cc6-4c92-4e53-9097-065d3beef83d · inbound
MatPhaseBench: A Semantics-Guided Benchmark for Materials Phase Diagrams Understanding cites this paper.
MatPhaseBench: A Semantics-Guided Benchmark for Materials Phase Diagrams Understanding FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T06:00:12.267694Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf1d33b7-b1f6-4caa-a905-0a9e94defc9e · inbound
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics cites this paper.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.580650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation fad7a543-2869-4193-9615-94f21cfc5335 · inbound
Measuring Intelligence Beyond Human Scale cites this paper.
Measuring Intelligence Beyond Human Scale FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 10
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-09T21:26:34.386221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a47f6bd2-58ca-4091-8030-fafbf5ae28aa · inbound
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 80
- Resolution
- verified exact
- local_arxiv, observed 2026-07-10T18:17:33.708098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f2ed8671-3228-4d34-8058-2387f304e2a2 · inbound
When Does Continual Learning Require Learning cites this paper.
When Does Continual Learning Require Learning FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-07-10T16:57:24.591984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1ae42162-0207-430e-9cfb-6f122a4d000a · inbound
The Ramanujan Challenge For AI cites this paper.
The Ramanujan Challenge For AI FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 230
- Resolution
- unresolved
- no resolver link, observed 2026-07-14T17:09:09.167784Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23bbf43f-c0d0-47d9-a1f5-e31a1a0f39ef · inbound
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification cites this paper.
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-07-14T02:43:21.225324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.