Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-17T18:32:40.880435Z
Paper Citation Record · LEDGER
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
As of 5 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 51 inbound Pith citation observations for arXiv:2504.11354.
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-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T16:07:41.846576Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
Reference resolution
17 of 17 outbound references displayed
- verified exact1
- verified fuzzy7
- unresolved7
- parse uncertain1
- malformed identifier0
- metadata mismatch1
External citation measurements
2
pith, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation 1640ce97-cb64-4d6a-ae3f-fe1c9ff09528 · outbound
This paper cites PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
Reference 1
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T18:32:40.910676Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c2fc0635-efa5-402a-9fa1-f88516b75ac9 · outbound
This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning LEGO-Prover: Neural Theorem Proving with Growing Libraries
Reference 2
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.918717Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d526dd9f-3454-4e43-8b20-2d7db4e39456 · outbound
This paper cites Li et al.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Li et al
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.924036Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6264ecaa-4906-4731-a5f1-5167e09e3cf4 · outbound
This paper cites Problems involving geometry and combinatorics are excluded to form a dataset more suitable for autoformalization.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Problems involving geometry and combinatorics are excluded to form a dataset more suitable for autoformalization
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.930812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ba03caa3-c5ad-41ff-949d-c5860701d9a6 · outbound
This paper cites This step converts natural language mathematical problems into formal statements compatible with the Lean 4 proof assistant.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning This step converts natural language mathematical problems into formal statements compatible with the Lean 4 proof assistant
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.934833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e1c56aa2-3179-459b-9ac7-0ae7db094c29 · outbound
This paper cites Annotated outputs are categorized as follows: • Human Statements: Statements refined by human annotators.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Annotated outputs are categorized as follows: • Human Statements: Statements refined by human annotators
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.939653Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e0001949-a537-4bcc-9344-351f35259638 · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.944439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b8026e55-789c-44c1-9375-a5a2511f73f6 · outbound
This paper cites From the two equations, we can eliminate a to solve for d.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning From the two equations, we can eliminate a to solve for d
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.948198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1d48843f-6463-4bfa-b2d3-f0acb0c8770f · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.952907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 661f8701-97ee-432a-8381-65e62486be42 · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.956414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1c30c06d-9cb8-4fae-802f-5f1a4ba6454c · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.959949Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 040e6b1b-a4ee-469c-a0b3-633de14e1b85 · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 12
- Resolution
- parse uncertain
- raw_fallback, observed 2026-05-17T18:32:40.963333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6b2c3618-d253-4799-8f50-09065354f6b1 · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.966747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0bb45c4d-426b-421e-9248-81623e03d5f1 · outbound
This paper cites human-like.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning human-like
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.970407Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 45f4802e-76cc-4378-96b2-12ff8adff4b7 · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.977095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 39fd493a-c1dc-45da-bcf1-8d76765843f2 · outbound
This paper cites an unresolved cited work.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T18:32:40.982380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0ca3e927-53e6-42bf-9326-a8c2ef09a3b5 · outbound
This paper cites observation of small cases → conjecture formulation → rigorous proof.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning observation of small cases → conjecture formulation → rigorous proof
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T18:32:40.987822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
Observation fbd6d0f8-cae7-4bd5-ae09-6850fc9dda92 · inbound
Reinforcement Learning Meets Large Language Models: A Survey of Advancements and Applications Across the LLM Lifecycle cites this paper.
Reinforcement Learning Meets Large Language Models: A Survey of Advancements and Applications Across the LLM Lifecycle Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 174
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T16:07:41.846576Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e1f6bae-0293-4329-bf67-66c20aea9593 · inbound
Aristotle: IMO-level Automated Theorem Proving cites this paper.
Aristotle: IMO-level Automated Theorem Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 53
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0320c9f1-ea2f-452c-b7b8-9c9a1f785981 · inbound
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph cites this paper.
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T11:31:39.456999Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eae7a43f-8abf-4edc-93a5-fe965241db31 · inbound
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics cites this paper.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 66
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.205219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7f7afc58-f7d6-462c-a248-14016eea67d1 · inbound
AI for Mathematics: Progress, Challenges, and Prospects cites this paper.
AI for Mathematics: Progress, Challenges, and Prospects Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 140
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6405a1b9-21ac-40d1-9342-bff94af999f8 · inbound
A Minimal Agent for Automated Theorem Proving cites this paper.
A Minimal Agent for Automated Theorem Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 23
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e068384a-4931-4afa-8b03-4808e6019ab3 · inbound
Teaching an Agent to Sketch One Part at a Time cites this paper.
Teaching an Agent to Sketch One Part at a Time Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 37
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9cabc5b3-0b32-4d18-ba38-4c859df65dee · inbound
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy cites this paper.
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 52
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e2765feb-9124-440e-a788-650787328a15 · inbound
How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study cites this paper.
How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T13:34:41.548490Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d2bba17-7031-4c0f-884e-2f7863531e81 · inbound
Automatic Textbook Formalization cites this paper.
Automatic Textbook Formalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fd5c6528-d7cb-40c6-8bd7-3539b52f7c4c · inbound
SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization cites this paper.
SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5bf98367-b332-45c5-92dc-478417e3e393 · inbound
Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization cites this paper.
Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cfd70356-a2e1-44e5-a00d-44e9d4551a16 · inbound
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis cites this paper.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 10
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 172336cf-aea5-4426-b4b0-126b5d832403 · inbound
Scaling Self-Play with Self-Guidance cites this paper.
Scaling Self-Play with Self-Guidance Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 39
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 16f50ddf-70bf-47b7-b670-9ce52dd0a8b7 · inbound
Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization cites this paper.
Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9a733aab-2a66-431e-9187-1e51790e4780 · inbound
Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization cites this paper.
Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-05-21T00:53:53.708292Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 24d45de2-b825-4ed7-97c7-583722be66e1 · inbound
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving cites this paper.
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 27
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 05af7fc1-ce4f-4ac0-bb3d-1bc01a968eb4 · inbound
Rethinking Wireless Communications through Formal Mathematical AI Reasoning cites this paper.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 58
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c594ec54-ab30-4b89-9fe6-72f10a6a3d02 · inbound
Teaching LLMs Program Semantics via Symbolic Execution Traces cites this paper.
Teaching LLMs Program Semantics via Symbolic Execution Traces Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 35
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f778f802-077a-4187-a2e9-6da81670d696 · inbound
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI cites this paper.
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 102
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation efa5ab79-9eb0-4b5b-88fe-1ec1ba58768c · inbound
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI cites this paper.
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 104
- Resolution
- verified exact
- local_arxiv, observed 2026-07-01T13:25:46.060761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d6852bd3-2a37-4063-a002-f48fa178176b · inbound
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI cites this paper.
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 103
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T17:14:49.310598Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 16f3cbb4-56dc-400d-8fff-d2f9a61c2e24 · inbound
MathAtlas: A Benchmark for Autoformalization in the Wild cites this paper.
MathAtlas: A Benchmark for Autoformalization in the Wild Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 34
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e3a5cc6b-db02-4263-ac03-92d815dabf12 · inbound
CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean cites this paper.
CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 34
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T13:38:19.325545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b0b7cafe-8c1b-46c0-bd36-a63d1ba35330 · inbound
OProver: A Unified Framework for Agentic Formal Theorem Proving cites this paper.
OProver: A Unified Framework for Agentic Formal Theorem Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 154
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-20T14:48:23.574380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f8de2b03-5ae1-479b-824b-0d8c99637418 · inbound
Code as Agent Harness cites this paper.
Code as Agent Harness Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 88
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T10:58:14.386753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f63c915f-fd6f-4210-a8c0-2e174720201b · inbound
What are the Right Symmetries for Formal Theorem Proving? cites this paper.
What are the Right Symmetries for Formal Theorem Proving? Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 18
- Resolution
- verified exact
- local_arxiv, observed 2026-05-22T08:16:16.058423Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 296e701e-29ba-49c6-9995-7dd025b1f4f0 · inbound
Advancing Mathematics Research with AI-Driven Formal Proof Search cites this paper.
Advancing Mathematics Research with AI-Driven Formal Proof Search Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 64
- Resolution
- verified exact
- local_arxiv, observed 2026-05-22T05:11:06.350843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 637912c5-ac68-41b6-af6b-d0a97cb92cdd · inbound
Advancing Mathematics Research with AI-Driven Formal Proof Search cites this paper.
Advancing Mathematics Research with AI-Driven Formal Proof Search Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 64
- Resolution
- verified exact
- local_arxiv, observed 2026-06-30T17:04:57.660142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cb817cf0-b078-46d2-ae5c-15a036094ddb · inbound
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 51
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T04:55:23.739229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c5e8be51-d435-4be1-b335-10afe56ed427 · inbound
Agentic Proving for Program Verification cites this paper.
Agentic Proving for Program Verification Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 34
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T04:05:20.699555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c68aef80-e9c5-4a6e-886b-ad1d6644b321 · inbound
Automating Formal Verification with Agent-Guided Tree Search cites this paper.
Automating Formal Verification with Agent-Guided Tree Search Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 87
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-29T15:03:31.419072Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e4000446-c4e5-45e0-8b0a-cde5cd0dfa00 · inbound
Formalizing Mathematics at Scale cites this paper.
Formalizing Mathematics at Scale Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 48
- Resolution
- verified exact
- local_arxiv, observed 2026-06-29T07:53:14.290821Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d3311491-8d3d-4de8-9e7e-4cfc2ff1412f · inbound
Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.
Automating Formal Verification with Reinforcement Learning and Recursive Inference Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 58
- Resolution
- verified exact
- local_arxiv, observed 2026-06-28T23:52:49.278143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cbeda18d-ad17-4fe7-abc0-a88d6ace03cc · inbound
LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks cites this paper.
LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 3
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-28T09:51:50.343361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fc64ad38-ff6e-4fcd-8be7-c79eacbf3312 · 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 Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 30
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-02T08:36:48.806829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d827a116-d217-4c86-b7c9-f932406bc869 · inbound
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement cites this paper.
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 10
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-02T13:46:59.588211Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 97591987-bada-4f00-a8b5-b5628202a0bd · 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 Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 80
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T22:47:26.048051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e0285d5b-d6c9-4397-9d01-d904bf173c4c · 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 Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 80
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T12:05:10.375005Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fc91b50c-72e6-48f3-a32b-8738cdc011d5 · inbound
TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics cites this paper.
TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 30
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T01:47:31.573906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8540c0f6-1351-4a8c-92ba-fce8160cbd76 · inbound
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation cites this paper.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 6
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-03T10:37:56.850589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 31bc909f-bc39-49c8-a786-1e671085ba7a · inbound
Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics cites this paper.
Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T23:29:01.970058Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e06a66dc-9548-498a-9621-c1150df7eb2d · inbound
Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language cites this paper.
Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 25
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T19:10:04.269278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 152e99fe-91b6-4b30-b248-e9d5ee3f318a · inbound
AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities cites this paper.
AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 26
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T16:39:57.360035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f1ef3889-1fd5-4810-9db7-f563f2dc8d2f · inbound
LAMP: Lean-based Agentic framework with MCP and Proof Repair cites this paper.
LAMP: Lean-based Agentic framework with MCP and Proof Repair Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-06-30T08:44:27.797384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c757c556-eb7b-4b90-aa78-d8bfbcdedb43 · inbound
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization cites this paper.
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 31
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-01T13:15:45.406957Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d3422080-b6dc-4eca-a3e4-15e72f0db72f · inbound
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-07-01T10:05:40.898017Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7bc01492-2624-4374-933f-2ddaeeebd992 · inbound
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T22:39:01.186780Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e2bb967b-34d4-46b3-a364-45c78cada465 · inbound
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics cites this paper.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 13
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.624607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b3a5e4cb-5bfe-4639-9729-b480832a55c4 · inbound
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 235
- Resolution
- verified exact
- local_arxiv, observed 2026-07-10T18:17:33.871321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 018212f7-f213-49ca-abea-042fcf77dd7b · inbound
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language cites this paper.
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T21:40:02.651495Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.