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 23 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 100 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-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T12:39:57.153685Z
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 fuzzy4
- unresolved23
- 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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+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
- unresolved
- 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-08-22T06:32:14.747728+00:00.
Pith citing papers
Observation 1f7f29f8-9d01-4dff-8441-24baffdc9061 · inbound
LMAct: A Benchmark for In-Context Imitation Learning with Long Multimodal Demonstrations cites this paper.
LMAct: A Benchmark for In-Context Imitation Learning with Long Multimodal Demonstrations FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T04:25:49.785818Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6864c502-3dbc-4ecf-b948-b44014a6541f · inbound
HARP: A challenging human-annotated math reasoning benchmark cites this paper.
HARP: A challenging human-annotated math reasoning benchmark FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:34:19.746349Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c6f1bc17-a186-43bb-873d-5cb9fde76fe0 · inbound
Formal Mathematical Reasoning: A New Frontier in AI cites this paper.
Formal Mathematical Reasoning: A New Frontier in AI FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T10:51:29.659200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ea9ee7eb-ea6e-4860-bd8d-baaff5665698 · inbound
Entropy-Guided Attention for Private LLMs cites this paper.
Entropy-Guided Attention for Private LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:57:08.530011Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5d9363e-cc9a-47e2-9b9c-a616155cbe79 · inbound
Reasoning Language Models: A Blueprint cites this paper.
Reasoning Language Models: A Blueprint FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T18:36:54.483513Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 76e21ff7-a526-4546-8e6c-a79829391353 · inbound
Not Every AI Problem is a Data Problem: We Should Be Intentional About Data Scaling cites this paper.
Not Every AI Problem is a Data Problem: We Should Be Intentional About Data Scaling FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:37:27.991160Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-08-22T06:32:14.747728+00:00.
Observation 46e64c6b-c79f-4ee2-8b1a-3df5ed868a83 · inbound
SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domain cites this paper.
SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domain FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:12:06.445859Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de65e791-2b36-486d-ba3d-ba130315b2eb · inbound
HardML: A Benchmark For Evaluating Data Science And Machine Learning knowledge and reasoning in AI cites this paper.
HardML: A Benchmark For Evaluating Data Science And Machine Learning knowledge and reasoning in AI FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:11:16.919552Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 51fef532-03b3-44af-b139-58e416fb4e51 · inbound
SocratiQ: A Generative AI-Powered Learning Companion for Personalized Education and Broader Accessibility cites this paper.
SocratiQ: A Generative AI-Powered Learning Companion for Personalized Education and Broader Accessibility FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-09T19:25:37.103792Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 02db8153-78d2-4c3d-a026-77c3dbe5cb33 · inbound
Position: Evaluating Generative AI Systems Is a Social Science Measurement Challenge cites this paper.
Position: Evaluating Generative AI Systems Is a Social Science Measurement Challenge FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-09T18:37:34.857548Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 910781e2-8a2c-416b-970d-8f6d5443e576 · inbound
Language Models Use Trigonometry to Do Addition cites this paper.
Language Models Use Trigonometry to Do Addition FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-09T17:29:00.140227Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63181b01-6028-476d-a761-cf84cc0c8618 · inbound
LLM-Powered Benchmark Factory: Reliable, Generic, and Efficient cites this paper.
LLM-Powered Benchmark Factory: Reliable, Generic, and Efficient FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-09T18:09:01.604922Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-08-22T06:32:14.747728+00:00.
Observation 736a5ebe-d0da-4fca-a4a8-b215d660a2b4 · inbound
FLIP Reasoning Challenge cites this paper.
FLIP Reasoning Challenge FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:39:57.153685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc01b0b9-f190-4b6e-9a82-191da7b33cd8 · inbound
In between myth and reality: AI for math -- a case study in category theory cites this paper.
In between myth and reality: AI for math -- a case study in category theory FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:15:57.639459Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b38bd7a7-1962-4a49-a194-32d3f739b42e · inbound
Virology Capabilities Test (VCT): A Multimodal Virology Q&A Benchmark cites this paper.
Virology Capabilities Test (VCT): A Multimodal Virology Q&A Benchmark FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:30:11.854368Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1e5321e4-d706-49ce-91d0-77d03093590d · inbound
Lightweight Latent Verifiers for Efficient Meta-Generation Strategies cites this paper.
Lightweight Latent Verifiers for Efficient Meta-Generation Strategies FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:00:20.392061Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0d6f0768-e0fa-438f-a65e-c991e572e963 · inbound
Toward Generalizable Evaluation in the LLM Era: A Survey Beyond Benchmarks cites this paper.
Toward Generalizable Evaluation in the LLM Era: A Survey Beyond Benchmarks FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:12:00.056522Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4c71659-396a-4a72-a822-71c465a159f5 · inbound
Automatic Legal Writing Evaluation of LLMs cites this paper.
Automatic Legal Writing Evaluation of LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T05:13:51.204065Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed9e84da-f5f8-4d37-9d15-a0b2c8c5f419 · inbound
Self-Ablating Transformers: More Interpretability, Less Sparsity cites this paper.
Self-Ablating Transformers: More Interpretability, Less Sparsity FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:43:45.553635Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecb7b5e6-4fda-4e80-806c-fbdf6f736bf5 · inbound
Position: AI Competitions Provide the Gold Standard for Empirical Rigor in GenAI Evaluation cites this paper.
Position: AI Competitions Provide the Gold Standard for Empirical Rigor in GenAI Evaluation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:42:08.218905Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6bd53163-92e2-4b33-b976-518b9fbc667c · inbound
R-Bench: Graduate-level Multi-disciplinary Benchmarks for LLM & MLLM Complex Reasoning Evaluation cites this paper.
R-Bench: Graduate-level Multi-disciplinary Benchmarks for LLM & MLLM Complex Reasoning Evaluation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:08:36.839708Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75cd1dab-74a3-4db0-9f91-c0dee4dfeffc · inbound
Knowledge Augmented Complex Problem Solving with Large Language Models: A Survey cites this paper.
Knowledge Augmented Complex Problem Solving with Large Language Models: A Survey FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:56:01.914868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0a259721-15b6-4d1e-aeb6-8a0c23ecdf9f · inbound
R^3-VQA: "Read the Room" by Video Social Reasoning cites this paper.
R^3-VQA: "Read the Room" by Video Social Reasoning FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:41:34.116200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ce6c74f-ab92-42ad-9713-a112a38eb66c · inbound
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving cites this paper.
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:31:49.332889Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 56ff5ae1-4f66-4896-9a39-67551a9bfff4 · inbound
AI Governance to Avoid Extinction: The Strategic Landscape and Actionable Research Questions cites this paper.
AI Governance to Avoid Extinction: The Strategic Landscape and Actionable Research Questions FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:27:30.027273Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 979e5bd1-3c6a-4f60-9573-ba7d0b2a1a11 · inbound
DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models cites this paper.
DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:51:21.300560Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aeb6b72e-3edc-414f-8f95-0463b5ecea17 · inbound
HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class cites this paper.
HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T20:53:11.212072Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed03e151-8c4a-4482-9086-79b502798798 · inbound
Children's Mental Models of AI Reasoning: Implications for AI Literacy Education cites this paper.
Children's Mental Models of AI Reasoning: Implications for AI Literacy Education FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:11:00.295349Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4b6457d-799c-446b-a68d-314104f6df77 · inbound
Sudoku-Bench: Evaluating creative reasoning with Sudoku variants cites this paper.
Sudoku-Bench: Evaluating creative reasoning with Sudoku variants FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:08:28.907751Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0f4e25b-0026-4598-9290-4d4737d2310e · inbound
Effective Reinforcement Learning for Reasoning in Language Models cites this paper.
Effective Reinforcement Learning for Reasoning in Language Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:56:16.257566Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5da3b6b-af00-4747-ba97-d1321d3c4645 · inbound
CapBencher: Give Your LLM Benchmark a Built-in Alarm for Test-Set Overfitting cites this paper.
CapBencher: Give Your LLM Benchmark a Built-in Alarm for Test-Set Overfitting FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:44:33.791384Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4857d67b-0746-4bc9-ad44-c737b17a1ac4 · inbound
DFIR-Metric: A Benchmark Dataset for Evaluating Large Language Models in Digital Forensics and Incident Response cites this paper.
DFIR-Metric: A Benchmark Dataset for Evaluating Large Language Models in Digital Forensics and Incident Response FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:08:22.589495Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 634a25d9-e61e-4648-8ad9-d15b3c1048fc · inbound
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark cites this paper.
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T13:05:04.306909Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1fa19fda-577b-4940-af64-d789bac285dc · inbound
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems cites this paper.
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:45:43.891256Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bd1ea47d-1177-45b1-a559-e261b22f9628 · inbound
Circuit Stability Characterizes Language Model Generalization cites this paper.
Circuit Stability Characterizes Language Model Generalization FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:35:37.237963Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83b0f156-b75d-481a-b848-ea1442e1e07c · inbound
Literature Review Of Multi-Agent Debate For Problem-Solving cites this paper.
Literature Review Of Multi-Agent Debate For Problem-Solving FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:47:35.915364Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3c96934-e189-4598-8b84-cb32a3653808 · inbound
Breakpoint: Scalable evaluation of system-level reasoning in LLM code agents cites this paper.
Breakpoint: Scalable evaluation of system-level reasoning in LLM code agents FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:17:44.198051Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55da0497-55b0-488e-89c7-1624a72df77d · inbound
AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions cites this paper.
AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:01:08.185061Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 435a24fe-d609-42ce-8590-fbf85262dc76 · inbound
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation cites this paper.
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:40:08.739793Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fc04ec4-6484-4b78-9075-bd038d42f644 · inbound
Establishing Best Practices for Building Rigorous Agentic Benchmarks cites this paper.
Establishing Best Practices for Building Rigorous Agentic Benchmarks FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T20:24:22.159924Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2d40c2e4-2cad-4008-bc25-793a4dfba619 · inbound
Probing for Arithmetic Errors in Language Models cites this paper.
Probing for Arithmetic Errors in Language Models FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:58:55.677386Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a329d34-b70a-4bae-9e30-03f4eb0d9059 · inbound
FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming cites this paper.
FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:30:22.229875Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 834de928-4ab6-4b41-a962-c2fad6bd8d13 · inbound
Pretraining on the Test Set Is No Longer All You Need: A Debate-Driven Approach to QA Benchmarks cites this paper.
Pretraining on the Test Set Is No Longer All You Need: A Debate-Driven Approach to QA Benchmarks FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T14:44:09.307985Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3960809-b0e2-4714-8998-6068c3e924f0 · inbound
Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems cites this paper.
Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:11:53.824313Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 743df680-9c39-41e3-b4dc-e8ddf532273d · inbound
The Mathematician's Assistant: Integrating AI into Research Practice cites this paper.
The Mathematician's Assistant: Integrating AI into Research Practice FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:18:07.646360Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3f8136b4-8bc9-4afc-83af-b5331c3858d3 · inbound
AI Reasoning Models for Problem Solving in Physics cites this paper.
AI Reasoning Models for Problem Solving in Physics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T14:45:39.976190Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+00:00.
Observation 14fa0979-dca1-44e5-bb23-9932c7c8fdba · inbound
FEM-Bench: A Structured Scientific Reasoning Benchmark for Evaluating Code-Generating LLMs cites this paper.
FEM-Bench: A Structured Scientific Reasoning Benchmark for Evaluating Code-Generating LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:21:27.147042Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-08-22T06:32:14.747728+00:00.
Observation bb6e0504-f392-47a6-937c-f5cdb0f72e5b · inbound
Reward Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and Evaluation cites this paper.
Reward Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and Evaluation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T03:04:43.601158Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e6d869f-eb4c-4f57-9385-cd585674287b · inbound
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs cites this paper.
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:18:01.374648Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 32b11f53-8652-454d-89ae-f51e74600799 · inbound
LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics cites this paper.
LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T20:05:56.402050Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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 2922276d-b6af-4b89-bb8e-79ac2994d2b0 · 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-08-02T17:51:37.623160Z
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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+00:00.
Observation 7cc1818a-2bf0-4657-b3a6-8b82b28eb397 · inbound
MathDuels: A Self-Play Benchmark That Grows cites this paper.
MathDuels: A Self-Play Benchmark That Grows 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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+00:00.
Observation 7c4509d2-bd4f-46b1-865c-5527f222b8df · 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
- unresolved
- no resolver link, observed 2026-08-02T13:31:46.340326Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+00:00.
Observation 37473251-e072-4cb7-8b7d-60e32eb136ed · 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 212
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T12:05:18.237071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+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-08-22T06:32:14.747728+00:00.