Paper Citation Record · LEDGER

ProofCompass: Enhancing Specialized Provers with LLM Guidance

As of 21 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2507.14335.

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

pith.paper-citation-record.v1
2507.14335 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:12:57.095710Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

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

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-10T18:16:31.176239Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T18:17:33.852365Z

Reference resolution

17 of 17 outbound references displayed

verified exact0
verified fuzzy9
unresolved7
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8f29dac4-1998-4ec4-902a-754a30672018 · outbound

This paper cites an unresolved cited work.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:12:57.252834Z

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 027b0d50-37cf-44a6-9d36-8f09acd8f6ed · outbound

This paper cites an unresolved cited work.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:12:57.244611Z

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 f1951869-9fec-40ec-84c4-8d763f109863 · outbound

This paper cites Case 1: Assume P ... then R.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Case 1: Assume P ... then R

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.236496Z

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 0aaec84a-d619-41ef-8889-8fb2703ce3e6 · outbound

This paper cites We want to show that.

ProofCompass: Enhancing Specialized Provers with LLM Guidance We want to show that

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.260974Z

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 e612f17a-7dd0-45bb-954f-299cd3eb6881 · outbound

This paper cites incorrect.

ProofCompass: Enhancing Specialized Provers with LLM Guidance incorrect

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.220492Z

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 0397c7f4-d995-4bd2-b80b-53ad41f9a335 · outbound

This paper cites • If a lemma makes an assertion not present or derivable from the NL proof and global hypotheses, it’s incorrect.

ProofCompass: Enhancing Specialized Provers with LLM Guidance • If a lemma makes an assertion not present or derivable from the NL proof and global hypotheses, it’s incorrect

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.228326Z

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 ecb48c1e-67bb-486d-a4f6-1692eb923895 · outbound

This paper cites an unresolved cited work.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:12:57.212871Z

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 79c09be4-fe56-49de-bf52-2b583496f5ae · outbound

This paper cites an unresolved cited work.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:12:57.205342Z

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 4ecb1ea9-316d-4db3-a4ca-e8db9820649b · outbound

This paper cites an unresolved cited work.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:12:57.197741Z

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 50a1b696-3426-46e3-9d33-12fb53063622 · outbound

This paper cites >) that will appear in the Lean proof.

ProofCompass: Enhancing Specialized Provers with LLM Guidance >) that will appear in the Lean proof

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.189262Z

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 8ffb6886-61b4-474d-aad6-7bc0eb240493 · outbound

This paper cites • Analyze the provided natural language proof to identify its overall strategy and key insights.

ProofCompass: Enhancing Specialized Provers with LLM Guidance • Analyze the provided natural language proof to identify its overall strategy and key insights

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.180603Z

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 289cad49-e54e-44d8-832f-689f010e57e7 · outbound

This paper cites • Label the key milestones as l0 :, l1 :, etc.

ProofCompass: Enhancing Specialized Provers with LLM Guidance • Label the key milestones as l0 :, l1 :, etc

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.171542Z

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 94d92e2c-63b4-49f5-8f8f-622e74c8a74f · outbound

This paper cites Since <mathematical statement from lj holds / was established>, the proof proceeds by.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Since <mathematical statement from lj holds / was established>, the proof proceeds by

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.160622Z

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 4bee45ff-91bf-48fd-8dcd-b82cdca61aa4 · outbound

This paper cites • Summarize how the proof combines the results stated in the li steps to reach the final conclusion.

ProofCompass: Enhancing Specialized Provers with LLM Guidance • Summarize how the proof combines the results stated in the li steps to reach the final conclusion

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:12:57.151125Z

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 3bd48cef-57a1-47c3-9bea-4d71a2e367ba · outbound

This paper cites an unresolved cited work.

ProofCompass: Enhancing Specialized Provers with LLM Guidance Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:12:57.141472Z

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 9c55a21d-d880-4832-a85c-aed875572f12 · outbound

This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

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 8260d5c7-3301-4318-8729-0f7d5003b848 · outbound

This paper cites LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation.

ProofCompass: Enhancing Specialized Provers with LLM Guidance LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

Reference 2025

Resolution: malformed identifier; no resolver link, observed 2026-08-06T16:12:56.408185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b82f19a9-66d3-4536-b53c-9bd5b8021c52 · 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 ProofCompass: Enhancing Specialized Provers with LLM Guidance

Reference 255

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.853616Z

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.