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 21 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 74 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-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T06:05:42.572510Z
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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+00:00.
Pith citing papers
Observation 6bab50be-d3c2-4c96-8502-4cb3c0761c55 · inbound
Hierarchical Attention Generates Better Proofs cites this paper.
Hierarchical Attention Generates Better Proofs Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T06:05:42.572510Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6631b2b5-a931-4f4f-990e-ce329e9b6dc1 · inbound
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics cites this paper.
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T00:04:38.418720Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 04b5aa85-a2c4-4f29-8d2f-d1cd57631753 · inbound
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation cites this paper.
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:05:25.028987Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9847fee-1fb9-4554-8ed1-52923c7ac137 · inbound
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation cites this paper.
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T20:50:26.193273Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b4e23b90-0b7b-40bc-8f6f-0b56975ff8f3 · inbound
Formally Solving Answer-Construction Problems in Lean cites this paper.
Formally Solving Answer-Construction Problems in Lean Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:34:09.500419Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 39d6c59a-49d7-4a41-9d44-78b07754b789 · inbound
Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening cites this paper.
Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:31:02.556119Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80cd305b-df40-4fd1-a4b1-858eaebb26a4 · inbound
LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning cites this paper.
LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T10:36:35.780423Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 141f6732-d71d-414f-a849-015d7191659a · inbound
ICPC-Eval: Probing the Frontiers of LLM Reasoning with Competitive Programming Contests cites this paper.
ICPC-Eval: Probing the Frontiers of LLM Reasoning with Competitive Programming Contests Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T10:35:02.130547Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a0c7107e-ce95-4adf-98f4-99e4f36314d5 · inbound
Mathesis: Towards Formal Theorem Proving from Natural Languages cites this paper.
Mathesis: Towards Formal Theorem Proving from Natural Languages Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:50:36.422154Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c82b98e5-bc45-4474-9226-1faf9aee2f94 · inbound
TReB: A Comprehensive Benchmark for Evaluating Table Reasoning Capabilities of Large Language Models cites this paper.
TReB: A Comprehensive Benchmark for Evaluating Table Reasoning Capabilities of Large Language Models Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T23:20:03.663026Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40ae0544-3de8-4480-8690-3412710a918e · inbound
Clarifying Before Reasoning: A Coq Prover with Structural Context cites this paper.
Clarifying Before Reasoning: A Coq Prover with Structural Context Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T20:31:27.201326Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41520fe1-8200-4818-aef7-355eb345bf0e · inbound
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving cites this paper.
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T20:27:36.365305Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 877e1528-8b75-4828-a5e8-7291575fcfba · inbound
Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs cites this paper.
Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T19:45:12.379589Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 49d8ad44-0f9f-467a-9a1a-88d1bb95562e · inbound
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization cites this paper.
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T19:14:19.550773Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3cef0df-2283-418d-8001-33b64b40003c · inbound
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving cites this paper.
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T19:30:50.431585Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25be5431-a527-44b5-b58b-69d5bb68dc97 · inbound
Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning cites this paper.
Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T18:18:46.662900Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c55a21d-d880-4832-a85c-aed875572f12 · inbound
ProofCompass: Enhancing Specialized Provers with LLM Guidance cites this paper.
ProofCompass: Enhancing Specialized Provers with LLM Guidance Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:12:56.482442Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53e01d90-5bca-4ad0-9ab5-8607509f38e5 · inbound
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 cites this paper.
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:54:12.661206Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 07169f19-1d9e-4cd4-b897-c1f7f52d04e9 · inbound
Solving Formal Math Problems by Decomposition and Iterative Reflection cites this paper.
Solving Formal Math Problems by Decomposition and Iterative Reflection Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:42:08.704335Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3940a24d-4c04-407a-83cc-ab957e930820 · inbound
Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny cites this paper.
Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:20:17.669259Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98b98825-f003-4bdc-980b-48e38406936f · inbound
StepFun-Prover Preview: Let's Think and Verify Step by Step cites this paper.
StepFun-Prover Preview: Let's Think and Verify Step by Step Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T13:47:36.073827Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc3abb4f-9f57-49c0-bf42-4abc057fda8c · inbound
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving cites this paper.
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T10:30:44.683267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a528dcd-c725-41af-94dc-c1a8012840f1 · inbound
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation cites this paper.
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 2000
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T22:28:12.156010Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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.