Paper Citation Record · LEDGER

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs

As of 8 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2608.00004.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.00004 v1

Coverage vector

measured 10 of 10 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T04:58:06.586539Z

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

10 of 10 outbound references displayed

verified exact0
verified fuzzy0
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 68baa3d4-9f22-4731-a2a6-6f3738d1de6f · outbound

This paper cites Automated Deduction -- CADE 28 , series =.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Automated Deduction -- CADE 28 , series =

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.549469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21553f40-3432-41fa-9350-b5cf18e79926 · outbound

This paper cites and Sartran, Laurent and Horv.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs and Sartran, Laurent and Horv

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.554067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba5d30a1-776f-47b5-a826-d07b1f41b9ef · outbound

This paper cites an unresolved cited work.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.559207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 853617aa-a880-4ef5-9fe1-24d9b1d20577 · outbound

This paper cites Replacing Judges with Juries: Evaluating LLM Generations with a Panel of Diverse Models.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Replacing Judges with Juries: Evaluating LLM Generations with a Panel of Diverse Models

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.563100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9867ed74-f750-4c5a-afcc-1490fb76154a · outbound

This paper cites and Zhang, Hao and Gonzalez, Joseph E.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs and Zhang, Hao and Gonzalez, Joseph E

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.567095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2917972b-2ecd-4162-a649-5e7a0192c107 · outbound

This paper cites A Survey on LLM-as-a-Judge.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs A Survey on LLM-as-a-Judge

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.570867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39d0ecde-988c-48a8-be4b-60096152efd9 · outbound

This paper cites Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.574894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4a27cbd-2f0f-4bb1-a32c-f30360ada555 · outbound

This paper cites The Open Proof Corpus: A Large-Scale Study of.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs The Open Proof Corpus: A Large-Scale Study of

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.578887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9295b7a9-aa76-43f7-97c0-7bce184db92a · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs International Conference on Learning Representations (ICLR) , year =

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.582462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b33f45c-c77c-4017-8560-68f894256a80 · outbound

This paper cites Do We Need Frontier Models to Verify Mathematical Proofs?.

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Do We Need Frontier Models to Verify Mathematical Proofs?

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T04:58:06.586539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.