Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Formal Mathematical Reasoning: A New Frontier in AI
As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 18 inbound Pith citation observations for arXiv:2412.16075.
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-05T16:11:23.266209Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-09T18:46:26.486917Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 067637d8-8e93-47f4-884c-8634dc6ec5e9 · inbound
AlphaEvolve: A coding agent for scientific and algorithmic discovery cites this paper.
AlphaEvolve: A coding agent for scientific and algorithmic discovery Formal Mathematical Reasoning: A New Frontier in AI
Reference 114
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T21:27:24.748956Z
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 d208237d-31a9-44e0-a98f-3467aca6df50 · inbound
FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.
FormaRL: Enhancing Autoformalization with no Labeled Data Formal Mathematical Reasoning: A New Frontier in AI
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T16:11:23.266209Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 22a714ed-5a4c-4139-80a5-191eb874b120 · inbound
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? cites this paper.
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? Formal Mathematical Reasoning: A New Frontier in AI
Reference 14
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T01:35:36.373061Z
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 cb83a3fd-34b5-4831-bca2-b26d88560300 · inbound
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? cites this paper.
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? Formal Mathematical Reasoning: A New Frontier in AI
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T00:14:48.570599Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d59f6aef-fe9b-4707-8377-3265b5601076 · inbound
ReasonBENCH: Benchmarking the (In)Stability of LLM Reasoning cites this paper.
ReasonBENCH: Benchmarking the (In)Stability of LLM Reasoning Formal Mathematical Reasoning: A New Frontier in AI
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T17:53:56.607718Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9bbf999c-26dd-4536-8aa4-e8bcbc6b491f · inbound
Formula-One Prompting: A Composable Equation-First Prefix for Applied Mathematics cites this paper.
Formula-One Prompting: A Composable Equation-First Prefix for Applied Mathematics Formal Mathematical Reasoning: A New Frontier in AI
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T07:46:08.986721Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6212b372-0b25-4f39-8c9b-6e2c666b068e · inbound
Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs cites this paper.
Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs Formal Mathematical Reasoning: A New Frontier in AI
Reference 9
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T09:56:05.497914Z
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 749da4cd-c1d1-4ef0-aa3e-7c6bf3a200eb · 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 Formal Mathematical Reasoning: A New Frontier in AI
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T10:25:26.629750Z
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 6a10b476-d1ed-443c-982f-de6970de5114 · inbound
Rethinking Wireless Communications through Formal Mathematical AI Reasoning cites this paper.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Formal Mathematical Reasoning: A New Frontier in AI
Reference 54
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.551605Z
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 5d1a4b47-4817-4c95-ad84-343f66b1cc8a · inbound
A conceptual framework for learning to listen by reward: Curiosity-driven search for novel sources cites this paper.
A conceptual framework for learning to listen by reward: Curiosity-driven search for novel sources Formal Mathematical Reasoning: A New Frontier in AI
Reference 7
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T04:23:02.990346Z
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 990b8fe7-f51e-41d1-9038-c995046faa22 · inbound
Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning cites this paper.
Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning Formal Mathematical Reasoning: A New Frontier in AI
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T05:59:41.154782Z
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 d73f18ac-ef5b-4875-95eb-29c60ca94b1d · inbound
Advancing Mathematics Research with AI-Driven Formal Proof Search cites this paper.
Advancing Mathematics Research with AI-Driven Formal Proof Search Formal Mathematical Reasoning: A New Frontier in AI
Reference 66
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T05:11:06.287326Z
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 7628de66-7f19-4d13-8c84-7f299b74b4be · inbound
Advancing Mathematics Research with AI-Driven Formal Proof Search cites this paper.
Advancing Mathematics Research with AI-Driven Formal Proof Search Formal Mathematical Reasoning: A New Frontier in AI
Reference 66
- Resolution
- verified exact
- arxiv_id, observed 2026-06-30T17:04:57.643161Z
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 5775e607-1276-47ab-8606-765f2e77655a · 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 Formal Mathematical Reasoning: A New Frontier in AI
Reference 26
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T22:47:26.017745Z
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 0e8b2c80-8544-47b6-91db-ae16bb6e78df · 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 Formal Mathematical Reasoning: A New Frontier in AI
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T12:05:03.800424Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6dad3966-0862-49e0-92e9-47db301af197 · inbound
FormalRx: Rectify and eXamine Semantic Failures in Autoformalization cites this paper.
FormalRx: Rectify and eXamine Semantic Failures in Autoformalization Formal Mathematical Reasoning: A New Frontier in AI
Reference 140
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T15:42:50.296348Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47b3237d-08b8-41f8-8baa-86954caef918 · inbound
The Technological Turn in Mathematics cites this paper.
The Technological Turn in Mathematics Formal Mathematical Reasoning: A New Frontier in AI
Reference 3
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-09T18:46:26.488550Z
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 dc9bc086-7a3c-4140-b08f-0bcef6924036 · inbound
CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference cites this paper.
CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference Formal Mathematical Reasoning: A New Frontier in AI
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T04:34:01.479021Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.