Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions | Paper Citation Record

Observation 77456a2e-86f9-4820-9cb1-e4d732761102 · outbound

This paper cites Replication Package for The impact of comments on the correct under- standing of logical code statements.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Replication Package for The impact of comments on the correct under- standing of logical code statements

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5137fc84-1766-4de6-9ad9-60e2e3a67879 · outbound

This paper cites Abid, Natalia Dragan, Michael L.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Abid, Natalia Dragan, Michael L

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a35fca7b-aebc-4934-93b0-2166664bcec0 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47e87515-c1ec-4ca1-8377-7aac210ba517 · outbound

This paper cites Unified Pre-training for Program Understanding and Generation.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unified Pre-training for Program Understanding and Generation

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e2908a7-a909-4ede-872c-7c3b5847cfa6 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65d9c3f0-dd7c-459a-933a-05a9dfad5d96 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a979db01-535c-441a-bf70-15c06a7ce24d · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dd9e7ff-8ec4-473c-a6c1-0f3936499fe1 · outbound

This paper cites Ernst, Mauro Pezzè, and Sergio Delgado Castellanos.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Ernst, Mauro Pezzè, and Sergio Delgado Castellanos

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fc774b9-dd35-4125-b95f-18edd3771c6b · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51d9d97d-1c11-4f84-8e0f-0e376c3c5022 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b44b8c3a-429e-42b9-bbc7-8b91a46ac029 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Evaluating Large Language Models Trained on Code

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99fe9bf1-e473-4623-b52e-63e4071dc47a · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8012230-2a98-4792-88d0-d678dc847cd1 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-07-13T06:09:24.743994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6701756d-9c46-4527-b94e-7433a0e5dfd0 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 606251e5-0bed-4618-9e1a-708807dbde3c · outbound

This paper cites Eddy, Jeffrey A.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Eddy, Jeffrey A

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbf9fcd8-ee24-4d02-bf1b-184b6963e39a · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 16

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bbcafc3-b2db-45ad-ac67-9db729d90b18 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 310b4dab-a7df-4f1b-a9e9-9c55a60ca66f · outbound

This paper cites doi:10.1145/ 3660791.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions doi:10.1145/ 3660791

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5ff0758-5ff8-4f55-a75f-3658035cddcc · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52802f03-d295-4474-a5ff-67bf05d68c0e · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f67573bc-de5d-489e-8410-4534cc636db4 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49b40d28-8d10-48b5-9ef4-724297f4b43e · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-07-13T06:09:24.871002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a04cdb70-dd8d-4044-9d52-cfa07d950936 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a943250-ce5a-4425-a27c-80627052f007 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03279db9-6759-4958-b67e-87ff0846403c · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-07-13T06:09:24.830294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bf375529-b42e-4c6f-ae4f-6da055708a33 · outbound

This paper cites Ernst, and Mauro Pezzè.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Ernst, and Mauro Pezzè

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32427ab6-6444-4d44-8bf8-232436ed7687 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-07-13T06:09:24.846957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 14aac1e2-c41d-4d8d-b85a-59de223447bc · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-07-13T06:09:24.863189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 89855c11-cdd2-41f7-a9be-07db58585e06 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-07-13T06:09:24.748323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1c0be694-5524-486d-95c9-b177617fcb99 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b08edc1-6e22-495e-b379-e31a6001189d · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f4550fd-3239-4c3b-9646-bb6d0351f03a · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4f20cde-3633-4138-9311-39a554441e8b · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87d4dad8-9806-463d-b24b-0e5344b98245 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a16b2d58-5690-42ec-9d3d-ebd869ee059e · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-07-13T06:09:24.815615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9404e708-0059-43f9-a111-28f32506c9f4 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e6f1512-79af-45dd-a975-e67a4d4a8acd · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee46736c-bd8c-41ed-ada1-582f01badda4 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 903d29e5-fd73-4398-9f70-fd174e5803b1 · outbound

This paper cites Identifying Inaccurate Descriptions in LLM-generated Code Comments via Test Execution.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Identifying Inaccurate Descriptions in LLM-generated Code Comments via Test Execution

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ebcb1be-07cd-49c9-a0f6-4210aa372276 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9bfb729-82e1-4384-8ee2-01fae858654e · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b9a822b-8d4a-4673-b1a1-43b285019517 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05b3e032-87a1-4f50-aa27-3e2b36dc71bf · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25fbb687-e5a0-4b8d-9da4-769457287353 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d1be049-5aba-4a4e-ae14-fc25a51ed0ae · outbound

This paper cites InInternational Conference on Software Engineering (ICSE).

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions InInternational Conference on Software Engineering (ICSE)

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c29a8dc6-dc56-49b8-ada8-fe31eedd97e7 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b0ddc1f-c1f4-46bb-9519-f45a0c2d61f4 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b7d024d-7f1f-40f8-80a7-8793dac8ee9d · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f288460a-37cf-4c5e-9ee6-dda9104434c2 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7a5e415-af22-4359-b9ee-4d20cadf0940 · outbound

This paper cites Retrieval-Augmented Generation for Code Summarization via Hybrid GNN.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Retrieval-Augmented Generation for Code Summarization via Hybrid GNN

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cc353eb-069a-4d5a-8f16-c486a2081684 · outbound

This paper cites McBurney and Collin McMillan.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions McBurney and Collin McMillan

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9f9227a-a645-48e7-a828-873342eb434b · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 52

Resolution: verified exact; arxiv_id, observed 2026-07-13T06:09:24.804031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f1881514-230b-42e4-9508-4e9bcbf29271 · outbound

This paper cites Ernst, and Mauro Pezzè.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Ernst, and Mauro Pezzè

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33f92965-eba2-4490-a3df-974f07ae75c4 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 54

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88af14b9-eb54-4e27-b5f1-aef6ec6d1b00 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56ee688d-acb5-4ecc-9a28-ff711d9e00cb · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0b426a4-23e0-4b45-a918-280a3a2d1864 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ed8477d-17f5-4504-8c28-94a5f6e0058f · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0c9a462-6ef6-49d7-b4c9-3b76581958c0 · outbound

This paper cites Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52d00050-d823-4c85-bf1a-bf1dc2ea0045 · outbound

This paper cites 2025.RStudio: Integrated Development Environment for R.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions 2025.RStudio: Integrated Development Environment for R

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fac9d2e-f20a-4f4f-b7cb-354c6ec5c214 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 61

Resolution: verified exact; doi, observed 2026-07-13T06:09:24.787749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d65094fc-92d8-45d4-b162-71c703514a8c · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1db5c6d-95d3-4cd3-9cea-ad0f901138b2 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d475de9-efbe-48c0-92c4-3b8bfe544299 · outbound

This paper cites When Copilot Becomes Autopilot: Generative AI's Critical Risk to Knowledge Work and a Critical Solution.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions When Copilot Becomes Autopilot: Generative AI's Critical Risk to Knowledge Work and a Critical Solution

Reference 64

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 004bd4a5-f162-4408-a948-2e633b90e18e · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 65

Resolution: verified exact; arxiv_id, observed 2026-07-13T06:09:24.893164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4e43ef2c-e631-46f5-b512-566e086fc021 · outbound

This paper cites Vijay- Shanker.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Vijay- Shanker

Reference 66

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 077151e2-72b9-4055-943c-e9bce51e0334 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bce78445-128d-4fd9-9a38-bc39dd8c4486 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d011a453-f893-4153-8d5d-602bff46cce5 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0c604c8-975c-46af-9263-dd238d40e7bd · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffcf37e1-918f-4714-bdb3-84546f1f255a · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b8bc07b-e74a-47c4-a2e4-bd022147c8bc · outbound

This paper cites Aligning Requirement for Large Language Model's Code Generation.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Aligning Requirement for Large Language Model's Code Generation

Reference 72

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c131961-940a-48a2-a1e6-be5d3f8e9696 · outbound

This paper cites Glassman.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Glassman

Reference 73

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 358ea224-6199-4767-acfb-fdb08b6bf297 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 779b6c78-c3c4-4c26-b9c4-70cbb038bf6c · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71a982c1-e118-47a7-994b-0af595b54f34 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 76

Resolution: verified exact; doi, observed 2026-07-13T06:09:24.798110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5754d0c1-1b96-4a19-82a8-c81dd9f1d39d · outbound

This paper cites Viverra: Text-to-Code with Guarantees.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Viverra: Text-to-Code with Guarantees

Reference 77

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df13b6ba-bece-4309-9653-6b76f179d1b7 · outbound

This paper cites Hassan, and Shan- ping Li.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Hassan, and Shan- ping Li

Reference 78

Resolution: verified exact; arxiv_id, observed 2026-07-13T06:09:24.767305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5337d3f6-1b91-4732-97ec-5a3fd5328bd6 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6462b0b-e9d4-4d77-857b-884774ee13df · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7c57261-c49a-4545-b989-933e2d5033f6 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 81

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d559685-0aa1-4f1b-8a73-dc7a036a8f4b · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0ad1f3e-e3c7-437a-be22-149dd2da36d8 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 83

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fee3cd0-6c23-41df-b2b9-007181cc4e67 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb185d8f-89c8-4da4-bd74-ac0d4b343cd5 · outbound

This paper cites an unresolved cited work.

Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-07-13T06:02:23.896682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers