Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving | Paper Citation Record

Observation 7b201fa7-2edf-4822-bc7c-96f7908bcbc1 · outbound

This paper cites L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:23.260343Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e30123f-1e0f-461c-bef2-97d05a189f2a · outbound

This paper cites Intern-s1: A scientific multimodal foundation model.arXiv preprint arXiv:2508.15763, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Intern-s1: A scientific multimodal foundation model.arXiv preprint arXiv:2508.15763, 2025

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:23.379329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efbee071-935c-4cbe-b658-be0b4f3f058e · outbound

This paper cites MathArena: Evaluating LLMs on Uncontaminated Math Competitions.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving MathArena: Evaluating LLMs on Uncontaminated Math Competitions

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:23.495396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29799628-afe5-4a3d-9348-6e5c57770324 · outbound

This paper cites Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:23.612497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 979f597f-44f8-4126-aa3c-bf3e5dacc73e · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Evaluating Large Language Models Trained on Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:23.752322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24574ada-0b90-40c2-8cac-349d5496bbd8 · outbound

This paper cites Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:23.898599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73278f5f-43d5-42d5-bd87-3427e81b5fd7 · outbound

This paper cites Advanced version of gemini with deep think officially achieves gold-medal standard at the international mathematical olympiad, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Advanced version of gemini with deep think officially achieves gold-medal standard at the international mathematical olympiad, 2025

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.041814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 835dc669-3e1f-4893-9f4f-15008906d575 · outbound

This paper cites ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.157889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1583c6ec-1618-4414-a522-ef5c0234287a · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.287198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 729f308b-1a61-4b24-b3f5-584588604f3b · outbound

This paper cites Hmmt february problem archive.https://www.hmmt.org/ www/tournaments/testing.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Hmmt february problem archive.https://www.hmmt.org/ www/tournaments/testing

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.340920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cfff7d0-c4fc-4186-9736-e6af98a8b8f0 · outbound

This paper cites MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.420480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2792294-7191-4a69-bfe7-1eb41359ea78 · outbound

This paper cites Gemini 2.5 pro capable of winning gold at imo 2025.arXiv preprint arXiv:2507.15855, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Gemini 2.5 pro capable of winning gold at imo 2025.arXiv preprint arXiv:2507.15855, 2025

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.484225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae9d5220-c9a0-4ad3-9512-a51abf8654d2 · outbound

This paper cites A survey of frontiers in llm reasoning: Inference scaling, learning to reason, and agentic systems.Trans.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving A survey of frontiers in llm reasoning: Inference scaling, learning to reason, and agentic systems.Trans

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.537173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ebcdcce-ecc9-4caa-a902-5544966723a6 · outbound

This paper cites Prover-Verifier Games improve legibility of LLM outputs.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Prover-Verifier Games improve legibility of LLM outputs

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.619908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93227744-8493-4868-8185-a193fa6cf660 · outbound

This paper cites WebThinker: Empowering Large Reasoning Models with Deep Research Capability.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving WebThinker: Empowering Large Reasoning Models with Deep Research Capability

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.697646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d543d618-6245-4541-a094-87a016794b19 · outbound

This paper cites ToRL: Scaling Tool-Integrated RL.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving ToRL: Scaling Tool-Integrated RL

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.762093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1165099-4e1e-472f-b650-fef726a1aa97 · outbound

This paper cites Compassverifier: A unified and robust verifier for llms evaluation and outcome reward.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Compassverifier: A unified and robust verifier for llms evaluation and outcome reward

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.837824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da937472-cdc1-490a-beb9-4b79cd4fbc57 · outbound

This paper cites Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.891449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa1c584d-1889-43a7-90f1-4d6295cc8023 · outbound

This paper cites Agent rl scaling law: Agent rl with spontaneous code execution for mathematical problem solving,.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Agent rl scaling law: Agent rl with spontaneous code execution for mathematical problem solving,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.943221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe2d36aa-692b-4d64-ad4f-0bf512bc21cf · outbound

This paper cites American invitational mathematics examination (aime) problems and solutions.https://maa.org/student-programs/amc/.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving American invitational mathematics examination (aime) problems and solutions.https://maa.org/student-programs/amc/

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.140202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d053c4c5-5559-4bd8-850b-48cec6049235 · outbound

This paper cites Malt: Improving reasoning with multi-agent llm training.ArXiv, abs/2412.01928, 2024.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Malt: Improving reasoning with multi-agent llm training.ArXiv, abs/2412.01928, 2024

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.216297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a4a0a4a-c032-4bc5-95e3-127d9a40499e · outbound

This paper cites s1: Simple test-time scaling.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving s1: Simple test-time scaling

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.275899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 475e95e1-0d9c-436a-a578-77bf2bb3f67e · outbound

This paper cites Introducing openai o3 and o4-mini, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Introducing openai o3 and o4-mini, 2025

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.351114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10b45ed2-0b4f-4e54-8e93-e826ab1495af · outbound

This paper cites gpt-oss-120b & gpt-oss-20b Model Card.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving gpt-oss-120b & gpt-oss-20b Model Card

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.428684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dd3c732-b590-4a79-94e9-a8e8d06217cb · outbound

This paper cites Openai imo 2025 proofs, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Openai imo 2025 proofs, 2025

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.529637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f1be116-8a29-4246-9df0-8330539a4fd0 · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.589280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c4f4155-107f-4702-bed7-c21e665bb296 · outbound

This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.685252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03de0ad8-bd7c-4deb-9eb4-a8e79f32dea3 · outbound

This paper cites rStar2-Agent: Agentic Reasoning Technical Report.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving rStar2-Agent: Agentic Reasoning Technical Report

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.785903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3f43e40-60a2-41cd-b675-8500ca787fd4 · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.875766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00be9321-a837-47be-bf23-06498554a1b7 · outbound

This paper cites Satori-r1: Incentivizing multimodal reasoning with spatial grounding and verifiable rewards.arXiv preprint arXiv:2505.19094, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Satori-r1: Incentivizing multimodal reasoning with spatial grounding and verifiable rewards.arXiv preprint arXiv:2505.19094, 2025

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.033608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0ffad19-3c3c-4541-8f1f-17837f6a4a8e · outbound

This paper cites A survey of reasoning with foundation models: Concepts, methodologies, and outlook.ACM Computing Surveys, 57(11):1–43, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving A survey of reasoning with foundation models: Concepts, methodologies, and outlook.ACM Computing Surveys, 57(11):1–43, 2025

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.157120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd427e85-4ef1-4d32-891b-17ab59710af9 · outbound

This paper cites Plan-and- solve prompting: Improving zero-shot chain-of-thought reasoning by large language models.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Plan-and- solve prompting: Improving zero-shot chain-of-thought reasoning by large language models

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.267470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4884c081-abb6-484b-97b8-4ca30140d06d · outbound

This paper cites A Survey on Large Language Models for Mathematical Reasoning.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving A Survey on Large Language Models for Mathematical Reasoning

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.346269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f707769d-30a2-4b07-897c-127aaf196d40 · outbound

This paper cites OPV: Outcome-based process verifier for efficient long chain-of-thought verification.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving OPV: Outcome-based process verifier for efficient long chain-of-thought verification

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.470372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 182acec9-b37b-482a-a6a6-03e50247561d · outbound

This paper cites Grok 4, 2025.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Grok 4, 2025

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.616335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffdce025-c348-45d2-87ba-e02f69d451e8 · outbound

This paper cites Qwen3 Technical Report.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Qwen3 Technical Report

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.760868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 741bd985-9344-4848-9c55-1d873f5a24ec · outbound

This paper cites Tree of Thoughts: Deliberate Problem Solving with Large Language Models.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Tree of Thoughts: Deliberate Problem Solving with Large Language Models

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:26.993380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 955d0567-4898-445d-a39e-c52286bacebd · outbound

This paper cites Reinforce LLM Reasoning through Multi-Agent Reflection.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Reinforce LLM Reasoning through Multi-Agent Reflection

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:27.178080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5762b5d4-e3ab-44c7-949a-91706f00eabc · outbound

This paper cites Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:27.371206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca0b9613-7d1b-4a01-86e6-6041655acc47 · outbound

This paper cites SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wild.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wild

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:27.544092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55537287-1e32-4ea5-97b8-a6533ee96552 · outbound

This paper cites ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:27.771393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d047db71-af55-4f75-9d6a-289ac171181e · outbound

This paper cites ARTIST: Improving the Generation of Text-rich Images with Disentangled Diffusion Models and Large Language Models.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving ARTIST: Improving the Generation of Text-rich Images with Disentangled Diffusion Models and Large Language Models

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:27.940805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f8665b6-ba14-4e32-bf36-4f742ab48380 · outbound

This paper cites Automatic Chain of Thought Prompting in Large Language Models.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Automatic Chain of Thought Prompting in Large Language Models

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.151683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49fcb739-e383-416b-be90-8b35cff3e367 · outbound

This paper cites ProcessBench: Identifying Process Errors in Mathematical Reasoning.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving ProcessBench: Identifying Process Errors in Mathematical Reasoning

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.275289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e9bcd08-b089-48c3-8c6d-c1f9be82ef9f · outbound

This paper cites Least-to-Most Prompting Enables Complex Reasoning in Large Language Models.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Least-to-Most Prompting Enables Complex Reasoning in Large Language Models

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.349094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e3f882a-6262-46a8-8af9-8937dd02f28a · outbound

This paper cites Solving Formal Math Problems by Decomposition and Iterative Reflection.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.465639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e32ba23-e977-4d6d-861d-4a76e99e4246 · outbound

This paper cites TTRL: Test-Time Reinforcement Learning.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving TTRL: Test-Time Reinforcement Learning

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.581624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d94b487-8f8e-44e6-8fe8-f3171af6113b · outbound

This paper cites The scientific ideas, methodology, analyses, and conclusions were entirely developed by the authors, while the LLMs assisted only in improving clarity and readability of the text.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving The scientific ideas, methodology, analyses, and conclusions were entirely developed by the authors, while the LLMs assisted only in improving clarity and readability of the text

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.699011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aba29485-3414-42eb-b095-8d676f0eee38 · outbound

This paper cites * The final answer is secondary to the correctness of the derivation.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving * The final answer is secondary to the correctness of the derivation

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.856946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2e5f316-f9ae-4477-9ad1-67ef353dd8f7 · outbound

This paper cites * If you cannot provide a complete solution, you must provide any significant ˓→partial results that you can prove with full rigor.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving * If you cannot provide a complete solution, you must provide any significant ˓→partial results that you can prove with full rigor

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.911587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c441329-c712-4fdf-a2ab-122500e0be93 · outbound

This paper cites I have found a complete ˓→solution. The answer is.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving I have found a complete ˓→solution. The answer is

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.981973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21cf8029-2865-44e1-99e9-06e352a4db53 · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.036476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0327cfc5-087b-4c27-b6e8-03e36f0179c5 · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.108465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc01cb61-3b3a-4d6c-9874-01db9a423a62 · outbound

This paper cites Your output must adhere to the following principles and format: #### **A.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving **Your output must adhere to the following principles and format:** #### **A

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.167770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a4399b-03cb-45fe-bd37-aeebf37aa015 · outbound

This paper cites Do not include lemmas from the ‘Provided Lemmas‘ if the model ˓→utilises them.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Do not include lemmas from the ‘Provided Lemmas‘ if the model ˓→utilises them

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.210199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 167a5099-19e9-44c8-a8b0-57467b6751c5 · outbound

This paper cites #### **B.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving #### **B

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.283839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76dd74b7-a8cb-49b0-abd4-61bce7dc90e4 · outbound

This paper cites The number of ‘<lemma>...</lemma>‘ environments must match the ˓→number of lemmas extracted in this round.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving The number of ‘<lemma>...</lemma>‘ environments must match the ˓→number of lemmas extracted in this round

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.338359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 234b8392-8a1d-4c6c-84b3-471cc6309105 · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.414236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90e99fdb-137e-414b-b7ff-7434b1c24b8d · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.424855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4782ea6f-c436-4a6c-9bb3-bdd4f595c82c · outbound

This paper cites - A key part of your evaluation is to verify that any use of a lemma from the Provided ˓→Lemmas library is correctly applied and that its preconditions are satisfied.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving - A key part of your evaluation is to verify that any use of a lemma from the Provided ˓→Lemmas library is correctly applied and that its preconditions are satisfied

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.558196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86ec3dbb-a847-4be4-8be6-d1cb00e8079a · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.721995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0853bf74-cb15-434a-b4ad-b93c5f1bf5ff · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:29.870236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 342af898-8b81-49fd-b8f0-3f3c45e78d86 · outbound

This paper cites I have not found a complete solution.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving I have not found a complete solution

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:30.004970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40df3174-8bab-4666-bd82-5a12c079db0e · outbound

This paper cites Isosceles-Free Sets Three points form an isosceles triangle if and only if one of them is equidistant from the other two.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Isosceles-Free Sets Three points form an isosceles triangle if and only if one of them is equidistant from the other two

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:30.086888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9496281c-b160-4740-aba9-22e202588db8 · outbound

This paper cites Hence,(0,1)/∈𝒯.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Hence,(0,1)/∈𝒯

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:30.140719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63a6d8fd-2927-4f0d-81c1-0c5092177c9d · outbound

This paper cites an unresolved cited work.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Unresolved cited work

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.228569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dcb72e0-1c50-4f99-8526-881157608874 · outbound

This paper cites Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem Solving.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem Solving

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:25.051327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers