Paper Citation Record · LEDGER

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

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

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

pith.paper-citation-record.v1
2502.07789 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T18:16:29.502554Z

measured 17 of 17 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-08-06T22:10:19.146590Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T22:10:20.458751Z

Reference resolution

16 of 16 outbound references displayed

verified exact4
verified fuzzy6
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3d3955ab-64c1-4f69-8e39-e6d731c71b8c · outbound

This paper cites Does Every Computer Scientist Need to Know Formal Methods?.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Does Every Computer Scientist Need to Know Formal Methods?

Reference 1

Resolution: verified exact; doi, observed 2026-08-10T18:16:29.582414Z

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 a026cfda-98bf-45f7-a156-1ad2bb30b485 · outbound

This paper cites On Formal Methods Thinking in Computer Science Education,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method On Formal Methods Thinking in Computer Science Education,

Reference 2

Resolution: verified exact; doi, observed 2026-08-10T18:16:29.568175Z

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 f9ca2e5a-63b3-45d0-8b6f-a601c8471d96 · outbound

This paper cites More Than Half of UK Undergraduates Admit Using AI to Write Essays,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method More Than Half of UK Undergraduates Admit Using AI to Write Essays,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:16:30.020828Z

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 34a1d602-ed70-428b-83ca-7e1e34768e7c · outbound

This paper cites an unresolved cited work.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:16:30.006140Z

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 f91238d3-f126-4bba-9fbe-6a8d372be736 · outbound

This paper cites The robots are coming: Exploring the implications of openai codex on introductory programming,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method The robots are coming: Exploring the implications of openai codex on introductory programming,

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T18:16:29.905073Z

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 4e6c8061-33df-45d1-b2d0-80d6f9847759 · outbound

This paper cites Conversing with Copilot: Exploring Prompt Engineering for Solving CS1 Problems Using Natural Language,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Conversing with Copilot: Exploring Prompt Engineering for Solving CS1 Problems Using Natural Language,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T18:16:29.459562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f4dec20-fdce-4506-a201-dd7d10682d8f · outbound

This paper cites Can Generative Pre-trained Transformers (GPT) Pass Assessments in Higher Education Programming Courses?.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Can Generative Pre-trained Transformers (GPT) Pass Assessments in Higher Education Programming Courses?

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T18:16:29.464400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db4b0e6c-6e44-465c-ac9a-21971e023e09 · outbound

This paper cites Chatgpt,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Chatgpt,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:16:29.990480Z

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 5ef668dd-e4eb-4b07-b83a-fb37992c6a4d · outbound

This paper cites Schneider, The B-Method: an Introduction , ser.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Schneider, The B-Method: an Introduction , ser

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:16:29.976473Z

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 09e45fc0-5b64-4aa6-bb15-d73d82ed9156 · outbound

This paper cites Do Users Write More Insecure Code with AI Assistants?.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Do Users Write More Insecure Code with AI Assistants?

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T18:16:29.477057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 796300d7-1cac-49b5-aed0-a473a5c34985 · outbound

This paper cites an unresolved cited work.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:16:29.961653Z

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 b59e60ab-da20-46a3-81fa-7b27860203c6 · outbound

This paper cites The First Twenty-Five Years of Industrial Use of the B-Method,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method The First Twenty-Five Years of Industrial Use of the B-Method,

Reference 12

Resolution: verified exact; doi, observed 2026-08-10T18:16:29.553597Z

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 cc139791-cd91-482f-916e-c8dc0dabe95a · outbound

This paper cites Can chatgpt support software verification?.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Can chatgpt support software verification?

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:16:29.947971Z

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 027678bb-a309-4c2b-ac51-3b43de0481df · outbound

This paper cites Kanika, Research Methods: The Essential Knowledge Base.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Kanika, Research Methods: The Essential Knowledge Base

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:16:29.933566Z

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 e7cd4ca9-5a6f-40cb-ada4-755acbb16d36 · outbound

This paper cites Computation of normalized edit distance and applications,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Computation of normalized edit distance and applications,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:16:29.918553Z

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 e49c4136-41be-407d-9d2d-f023ce1cf5e4 · outbound

This paper cites Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method,.

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method,

Reference 16

Resolution: verified exact; doi, observed 2026-08-10T18:16:29.538230Z

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.

Pith citing papers

Observation 61c8ef18-3838-4605-b2eb-af93dbae9874 · inbound

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny cites this paper.

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T22:10:20.557101Z

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.