Paper Citation Record · LEDGER

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking

As of 9 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2506.04019.

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

pith.paper-citation-record.v1
2506.04019 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:57:22.115966Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

31 of 31 outbound references displayed

verified exact0
verified fuzzy0
unresolved31
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d5b9a4ba-e4a8-41e0-85d9-e06fbc44d9c5 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.475557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d4bc5bfa-8fcd-4aac-88b7-882a7470981f · outbound

This paper cites Program Synthesis with Large Language Models.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Program Synthesis with Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:21.995617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c1dc221-4b7f-4c9c-8f2b-b9a27d6d3325 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.466188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c7c0e8d1-c539-493e-af64-9357feb25594 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.457621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6f700ce1-3e53-42bb-9011-7dcdf4353705 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.448549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 126c3f6f-2426-44c8-9081-78d4b74def33 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Evaluating Large Language Models Trained on Code

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.027784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f42749fc-51d8-4d06-943a-cd2ef843b4e1 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.439242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8bc231bd-83de-47c7-81f2-f2649fc20a3e · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.430187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f01a6372-c5da-45f2-96a3-02cb27ee2803 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.420923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6dc2c57c-1989-40d2-acda-3eda67604d3b · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.411417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2d435603-be6e-4933-8b98-0dd5e996a63a · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.402700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3c48ee27-5a85-482d-9869-f8223901253b · outbound

This paper cites A Survey on LLM-as-a-Judge.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking A Survey on LLM-as-a-Judge

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.055656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2265ac91-5434-4ff7-934c-790046f0b79f · outbound

This paper cites From Code to Courtroom: LLMs as the New Software Judges.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking From Code to Courtroom: LLMs as the New Software Judges

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.059743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 913dbd2a-01f7-419f-a6e2-ccb954ec6b05 · outbound

This paper cites From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Future.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Future

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.062726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b63f305d-2627-4600-ade9-87c17fe5195e · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.394272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a3e19f79-5b66-466e-bd75-6ba3960cf00f · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.385370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fe4219e1-fbc6-46c0-9e67-9207c3c862f1 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.375314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 40424187-8fac-49c1-952c-366682c646e0 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.366172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5475e6cf-286a-43d9-a474-dce742e1ca6f · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.356538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 678d480c-08b3-4683-a45e-a78960cdb126 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.347244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fcb3930e-9c49-4184-a379-c5b69af6e289 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.337770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a4cf8450-6b35-482e-bce8-1995e1338d68 · outbound

This paper cites Should AI Optimize Your Code? A Comparative Study of Classical Optimizing Compilers Versus Current Large Language Models.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Should AI Optimize Your Code? A Comparative Study of Classical Optimizing Compilers Versus Current Large Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.088513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 694450b4-36c5-4296-b7b7-01f362e56166 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.091934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39e3211b-d1fc-4390-9359-a8a0c36c3d63 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.321135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c83cf102-173f-402f-a188-1282679b03d4 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.311566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0378f756-ec5c-478c-9df1-4d4a67e728c6 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.302021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ed17ce75-723e-4d05-95e8-d22c7e58de38 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.103845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c20a268-8611-4ff1-8b67-a0fe1f5c8926 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:22.291316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fb8048dc-a2a3-4317-8be3-950fa0c67a57 · outbound

This paper cites an unresolved cited work.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.109650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6b89208-e261-4160-93e4-d1bfb36638d6 · outbound

This paper cites online" 'onlinestring :=.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking online" 'onlinestring :=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.112475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d75f24d3-35b9-4dd5-ad18-687f1228242e · outbound

This paper cites write newline.

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking write newline

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:22.115966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.