Paper Citation Record · LEDGER

From Scientific Texts to Verifiable Code: Automating the Process with Transformers

As of 19 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2501.05252.

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

pith.paper-citation-record.v1
2501.05252 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T21:18:02.261401Z

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+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

20 of 20 outbound references displayed

verified exact0
verified fuzzy16
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a0fd4ce1-f6d3-4824-bcdd-1900228ea42a · outbound

This paper cites Formal proof–getting started,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Formal proof–getting started,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.829448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 42f490c2-f24a-4a5a-bf59-f79890d02189 · outbound

This paper cites The complexity of veriﬁcation,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers The complexity of veriﬁcation,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.817524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 04a55519-18ea-4b8b-9591-c715d7c5cd7d · outbound

This paper cites Opinions on Proof Assistants,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Opinions on Proof Assistants,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.805379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation efcf2fda-56d0-4caa-9991-5af2e50d217c · outbound

This paper cites Proof assistants: History, ideas and futur e,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Proof assistants: History, ideas and futur e,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.792126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2120555f-172a-4947-97ef-20991e144437 · outbound

This paper cites Avoiding veriﬁcation brittlene ss in Dafny,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Avoiding veriﬁcation brittlene ss in Dafny,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.779095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8168c324-6239-4973-bd1b-5751b51d9f9e · outbound

This paper cites Proof assistants for na tural language semantics,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Proof assistants for na tural language semantics,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.763983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 77ed1305-652b-4191-bcfc-344a9748d5f6 · outbound

This paper cites Attention is all you need,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Attention is all you need,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.748847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f765f474-f3b0-4eaf-b347-69428c2fc477 · outbound

This paper cites LLMs for Science: Usage for Code Generation and Data Analysis.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers LLMs for Science: Usage for Code Generation and Data Analysis

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:02.204068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3cbcdf1-6e1e-40e3-a23e-b34f2a9aa7d3 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Evaluating Large Language Models Trained on Code

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:02.209246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52c2430c-0877-40bd-8e0e-751219e3fa29 · outbound

This paper cites Microsoft copilot,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Microsoft copilot,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.735280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c7c2ec24-e63d-4396-9b47-1af5628b2d51 · outbound

This paper cites Clover: Closed-loop veriﬁable code generation,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Clover: Closed-loop veriﬁable code generation,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.717348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5c820369-05d9-4b70-acb2-b59d8284ce93 · outbound

This paper cites Towards AI-assisted synthesis of veriﬁed Dafny methods,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Towards AI-assisted synthesis of veriﬁed Dafny methods,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.703043Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 67bfc8cc-d15b-41ea-9e34-6c59dd6d9388 · outbound

This paper cites Laurel: Unblocking Automated Verification with Large Language Models.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Laurel: Unblocking Automated Verification with Large Language Models

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:02.227845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c722e3b4-d7be-4f6e-9e32-fc995f4b9385 · outbound

This paper cites Llms for relational reasoning: How far are we?.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Llms for relational reasoning: How far are we?

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.686030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e24a6fa6-9b79-4be1-8893-d8080321063b · outbound

This paper cites Draft, sketch, and prove: Guiding formal theorem provers with informal proofs,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Draft, sketch, and prove: Guiding formal theorem provers with informal proofs,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.516617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation cb69007f-f070-4c1e-be2d-c6dba8ca5a29 · outbound

This paper cites Graph Theory,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Graph Theory,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.498924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f545968d-1ddd-4845-a605-27eeb2a22e21 · outbound

This paper cites Accessible Software V eriﬁcation with D afny ,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Accessible Software V eriﬁcation with D afny ,

Reference 17

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T21:18:02.389429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c8c5fa79-4a2c-407f-9585-3f704a789415 · outbound

This paper cites How we built cedar with automated reasoning a nd differen- tial testing,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers How we built cedar with automated reasoning a nd differen- tial testing,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.476622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a009d750-06bf-4a66-9489-add35bad3b3b · outbound

This paper cites Dafny Reference Manual,.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Dafny Reference Manual,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.462987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4edf9553-dad7-464d-8b79-6290868acfda · outbound

This paper cites Prometheus system demonstration video.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Prometheus system demonstration video

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:02.450458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

No inbound Pith citation observations are available.