Paper Citation Record · LEDGER

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

As of 18 August 2026, this Paper Citation Record lists 100 of 111 outbound references and 3 inbound Pith citation observations for arXiv:2508.18587.

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

pith.paper-citation-record.v1
2508.18587 v1

Coverage vector

measured 100 of 111 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:59:23.693099Z

measured 103 of 103 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:18:57.136026Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-25T04:05:20.631350Z

Reference resolution

100 of 111 outbound references displayed

verified exact9
verified fuzzy2
unresolved77
parse uncertain0
malformed identifier7
metadata mismatch5

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 98aa6e6c-31fa-4459-a7e6-c3c5c61312f7 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.265359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00cdd3a4-aea0-419f-83e1-a4f9dfe68631 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.270006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1fba252-8853-492f-88d3-48da7a616d03 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.273685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 476ba543-78b5-427a-b28d-eb22011229ea · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 4

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T16:59:25.843015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 607c4fee-71ee-4604-9724-806626fa3ffb · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.281757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a7524ff-db9c-490c-be93-b9d1d6c7c7c2 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.285622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfe3ec08-4432-46e5-ba0f-9cda6b0242f8 · outbound

This paper cites A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Reference 7

Resolution: verified exact; doi, observed 2026-08-15T16:59:24.187467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 206785b3-e901-4f9c-9117-b7bdb561f304 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:59:23.293780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54642ae1-7b93-4f3c-b823-a95c57556fb9 · outbound

This paper cites Boulton, Andrew D.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Boulton, Andrew D

Reference 9

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:59:23.298306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5780ed39-9623-434a-a30d-e3916e9055cc · outbound

This paper cites Cohen, and Stephanie Weirich.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Cohen, and Stephanie Weirich

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:59:23.302153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 217cae90-6188-4aa5-ac0f-819e5b74fd09 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:59:23.305947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3663c065-bea2-4044-adc8-5a584cbd8142 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.310448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3e2d868-5a1a-4ce7-96dd-881ca1dea627 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-08-15T16:59:24.159636Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2e2ca413-5e57-4e26-8a08-c2d6551b287c · outbound

This paper cites Frans Kaashoek, and Nickolai Zeldovich.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Frans Kaashoek, and Nickolai Zeldovich

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.318017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1b96b88-0ee9-4f0f-80d1-8807ab299894 · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Training Verifiers to Solve Math Word Problems

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.322397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea8bf271-327f-4b20-ba32-1cbe4b29e8d4 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 16

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:59:23.326284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f0f5d53-ffc9-4c08-ae4f-36f01821cacf · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.329841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b28356ce-ff24-475e-a824-75376b75b8a6 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.333449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f9d7ec9-ad96-455a-bae3-b1e0a426383c · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.337747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fd29829-54e0-4a37-a183-56c4f83d8ffa · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.341208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 119ebed1-4dd1-4e0b-bdff-781aa5beafcd · outbound

This paper cites Veneris, Fan Long, and Xujie Si.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Veneris, Fan Long, and Xujie Si

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.345855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7828bad5-9e68-4625-82d2-e483a64887ca · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.352849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26fa0572-e543-4c9f-adef-1e9691b822de · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 23

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T16:59:25.632597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9734ea3a-e008-42ae-b8f2-a422316cec07 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 24

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T16:59:25.566810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bbbd2487-60af-4da5-a463-53b6005577e9 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.363366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 954a47c1-c658-4d4b-8444-f6b74d8ff898 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.367945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5ffb29b-2d33-46c5-82b2-57f97851a995 · outbound

This paper cites Rabe, Talia Ringer, and Yuriy Brun.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Rabe, Talia Ringer, and Yuriy Brun

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.371481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 737aa44d-d24c-40e5-8520-da1f31eb3056 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.375044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62804c27-fce8-4d7d-b4b2-8ea2e0bd0623 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.379580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0b9b67e-94de-45f1-bec1-05edc0d37352 · outbound

This paper cites Goguen and Luqi.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Goguen and Luqi

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.382935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0c07a87-bd31-46a4-85cc-0a917b55880d · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-08-15T16:59:24.049649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d8fe0726-4c5a-490e-bff7-a9bccbe9180b · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.391156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5640dea4-8cd1-4b30-83d6-fdff8fae49c6 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.395322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46c7f138-3a0d-4b12-a12c-d7da216724bb · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.398756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6482afd-733d-4bf0-9194-47527f88d0cb · outbound

This paper cites HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.402267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f01fc340-d98a-455d-a08b-9956e846d4e9 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.407440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1400733e-ca76-4ef9-a0a8-84a7c040017c · outbound

This paper cites Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Par- tain, and John Peterson.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Par- tain, and John Peterson

Reference 37

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T16:59:25.220238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cbd64d5d-42df-4a62-9ca2-fc9f12784aeb · outbound

This paper cites Alemi, Niklas Eén, François Chollet, and Josef Urban.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Alemi, Niklas Eén, François Chollet, and Josef Urban

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.416321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8090542-c2dd-4260-a7e2-674e10c481ee · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.420933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ad7ca2d-847c-4047-a0d0-cb80d97fd478 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.429674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6f6298f-7f46-47c0-b56c-b1026fd2cca2 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.433841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8074812-4da3-4bb4-b724-519b99b4b827 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.443244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83f7082a-793b-47e5-b122-daa3ddf8a620 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.446829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3001232-719a-4c2e-9768-322a4974e6af · outbound

This paper cites Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.450506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b37512f-48f7-4764-bb95-6b185066a01e · outbound

This paper cites Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.454946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf2589c8-9f58-4631-bffd-cf2b805f5ec3 · outbound

This paper cites Pierce, and Steve Zdancewic.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Pierce, and Steve Zdancewic

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.458502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fac6e481-bb36-40a8-bd1e-920cfcf3c70a · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.466612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db128d24-e287-49b5-8a15-2c80ac385c23 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.474957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aac4664-11d6-43bb-8fcc-ab1a56db4cfa · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.478753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 350c0a08-4d5b-4def-8e03-7bf81feba8b7 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.482433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8682158-0c34-473f-b2b7-1e40e3124bd8 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.486991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b26e6df-4b12-47bb-85f0-86d621571238 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.471329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a919764f-789f-4a1a-b4fe-8cf74d7d0744 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.494794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d4aab94-7475-4d47-a7ef-f81620a5b726 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.499070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e5e8165-050a-4910-ab44-0dd118a79b4b · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.506248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95558c9b-fc0c-4b9b-b933-cb10bdeb83ae · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.510818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b67947af-7c7d-49b7-ba22-1978f101dd98 · outbound

This paper cites miniCodeProps: a Minimal Benchmark for Proving Code Properties.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.490482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94a64873-ac6c-4e32-a683-a84cd1188ecc · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.517864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8930d48-b41a-475a-9e9a-60323390ca91 · outbound

This paper cites Morrison.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Morrison

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.522528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54f74434-3900-46ee-8aa8-8f50253424f9 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.527262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb883ba4-fe88-4b23-973f-eae6b5026efa · outbound

This paper cites Paulson, and Markus Wenzel.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Paulson, and Markus Wenzel

Reference 61

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:59:23.531314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21ab9f34-ba53-4832-a7a1-0c764912a8e6 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.536131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f1cf50f-aca0-46b6-a24f-248849b239f6 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.514273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24973581-775d-42c8-b5c9-0e790ab99876 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.544672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6cc0cd8-7f85-47d9-829f-677898c93040 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.548297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2657c0b5-3c6f-4883-90cc-229a8b73ad73 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.553004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84f863b9-2f00-44b5-9aa2-86656564bade · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.556716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a823175-35e6-4091-a903-81564eba71bb · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.561768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b364c81-978e-4b5f-bd26-54d7e3afeec1 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.540008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c11cf665-952d-4958-8ccb-55ee1d460d49 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.568892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce9eb54f-70f2-4370-8bbe-4e95e7247614 · outbound

This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.573363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ecba3d5-64c1-4e41-a52f-5c1db684395c · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Reducing urban traffic congestion due to localized routing decisions

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.577425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f7b28d8-9d8f-4279-95db-6ee631b9f010 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:59:25.966161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a1bd3a0e-a486-4de8-9966-b6b7f55aa98a · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 74

Resolution: verified exact; doi, observed 2026-08-15T16:59:23.940438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9590b3a1-9ae7-4676-97a6-01b031f5ba04 · outbound

This paper cites Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cˇatˇalin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cˇatˇalin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:59:25.978863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a7a497c6-6440-45c3-8047-196b63500a5f · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.594643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78837ad7-cb0f-45ae-9355-bde23f7e3f37 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.598377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f887d562-9b7c-4c3e-9ed8-deabb8c4b89e · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.603091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f10981d8-0d4f-4e2e-8fdf-9587a0696cf1 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:59:25.952907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 977d36ec-36e1-4775-a58d-f625caa05ad8 · outbound

This paper cites Embracing a mechanized formalization gap.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Embracing a mechanized formalization gap

Reference 80

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:59:24.533124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 60b84330-05f0-4059-a82d-585c9ea30692 · outbound

This paper cites Saul, and Sorin Lerner.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Saul, and Sorin Lerner

Reference 81

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T16:59:24.673374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0dbc58a6-5276-4e3c-a9b1-06f31566a01e · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.621143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59c3b10d-8cbf-4301-8b49-f470c3765416 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 83

Resolution: verified exact; doi, observed 2026-08-15T16:59:23.895601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e443d454-f147-4837-9df1-62af10b8701c · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.630518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84213e6c-596c-4ea4-ae1e-b3cd10f1fe98 · outbound

This paper cites Ferreira, Sorin Lerner, and Emily First.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Ferreira, Sorin Lerner, and Emily First

Reference 85

Resolution: verified exact; raw_fallback, observed 2026-08-15T16:59:24.517986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b9e0a7db-2c6c-4ac1-9624-f01e879ca324 · outbound

This paper cites Trinh, Yuhuai Wu, Quoc V.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Trinh, Yuhuai Wu, Quoc V

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.638392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b5560e8-7014-438c-bf28-34fff6830766 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 87

Resolution: verified exact; doi, observed 2026-08-15T16:59:23.914270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 95122400-a4f8-444c-9ea3-3247d1be8e19 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.646672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68d3717f-b4d9-4da1-8ff6-9d73726d476e · outbound

This paper cites Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.650347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9813f62f-a403-4307-b84a-10438b0ac657 · outbound

This paper cites Wilcox, Steve Anton, Zachary Tatlock, Michael D.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Wilcox, Steve Anton, Zachary Tatlock, Michael D

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.655198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55173415-1254-4e41-b875-41e3b31cafe4 · outbound

This paper cites Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:59:25.940601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cffc629c-371e-4ffd-8fd3-4a9b7772e41d · outbound

This paper cites Pierce, and Steve Zdancewic.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Pierce, and Steve Zdancewic

Reference 92

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T16:59:25.927546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6ad34d43-f416-4cda-af25-d2b87b8b0125 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.642913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c69ab0be-3987-46a0-ae7b-e9b1ed8de010 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 94

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:59:25.902178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation babfba93-f7ff-402e-8cd3-3d36c9045c19 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 95

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:59:25.890576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 97b27130-bcdb-4dc3-9e37-d78bed1a10b0 · outbound

This paper cites Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.678089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a5276ae-0c93-4293-b1ca-307372372eea · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.681760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d482c737-6dfc-465d-aa21-79d99e0cc446 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 98

Resolution: verified exact; doi, observed 2026-08-15T16:59:23.795286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1b5606cc-a554-4966-a87f-2f73bb4ed1e0 · outbound

This paper cites an unresolved cited work.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Unresolved cited work

Reference 99

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:59:25.913998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8766f6a3-cb48-4ef8-9fa6-5f56cce1ee84 · outbound

This paper cites Pierce, and Steve Zdancewic.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Pierce, and Steve Zdancewic

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.693099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b26b3ab6-4ec8-46e0-aeb2-e5ab4bc450d9 · inbound

Agentic Proving for Program Verification cites this paper.

Agentic Proving for Program Verification A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:05:20.634391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 41ab451c-4651-4985-a058-7436dd6cf229 · inbound

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability cites this paper.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T15:30:26.735092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1769c27-ea9c-41c7-bf8e-a5980ebb3fd3 · inbound

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability cites this paper.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:57.136026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.