Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T11:50:26.030339Z
Paper Citation Record · LEDGER
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
As of 2 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 2 inbound Pith citation observations for arXiv:2605.10141.
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-01T06:32:01.292127+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T04:34:00.832732Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
13 of 13 outbound references displayed
- verified exact1
- verified fuzzy2
- unresolved7
- parse uncertain0
- malformed identifier1
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 4ca52f21-f269-41a5-be1f-73d253f47d7a · outbound
This paper cites URL https://aclanthology.org/2025.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models URL https://aclanthology.org/2025
Reference 1
- Resolution
- metadata mismatch
- doi, observed 2026-05-12T04:31:21.284216Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 6517c079-bce5-46c6-8b80-d79e7bee92a6 · outbound
This paper cites Qwen2.5 Technical Report.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Qwen2.5 Technical Report
Reference 2
- Resolution
- malformed identifier
- local_arxiv, observed 2026-05-12T04:31:21.274067Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 81e5e456-54ca-4732-acf3-57d613bd5257 · outbound
This paper cites A Study of LLMs' Preferences for Libraries and Programming Languages.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models A Study of LLMs' Preferences for Libraries and Programming Languages
Reference 3
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-12T04:31:21.278214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation e01bfe6d-8b1d-4715-af09-592122bdc3ba · outbound
This paper cites Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement
Reference 4
- Resolution
- verified exact
- local_arxiv, observed 2026-05-12T04:31:21.281740Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 5d347022-1614-4ff4-97ab-652f30d2818c · outbound
This paper cites Verified !.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Verified !
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-12T15:26:40.023365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 10472418-45a2-41db-adb7-2a9afaa0fb05 · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.029428Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation d1ffd799-9061-4eca-b01c-4d1b52b72255 · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.020882Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 752ce12a-3c52-458d-9954-cf9bd10a7f0e · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.026626Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation db704803-3498-4488-a6ef-c258a62411d1 · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.032149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 961ec289-df88-445b-8f33-19f0711d02b2 · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.034811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation bad5ccfb-f892-400d-b2b7-b0deac3ca074 · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.038209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation b8b645cf-ae6a-4198-abdb-59420a6bee70 · outbound
This paper cites an unresolved cited work.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-12T15:26:40.015013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation a12aada3-e7b8-4c68-b90f-b408398efd55 · outbound
This paper cites Input {theorem} Output Output only the completed proof, starting afterby.
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models Input {theorem} Output Output only the completed proof, starting afterby
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-12T15:26:40.018375Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Pith citing papers
Observation 2504497e-562d-488b-a211-9a3931197d90 · 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 FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T04:34:00.832732Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f66da1d5-eb1f-4f1f-839c-74f2ef51524e · inbound
BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints cites this paper.
BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T17:33:58.321333Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.