Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification | Paper Citation Record

Observation 413e8ff1-9b65-4fbf-9ba6-cd7af52f706c · outbound

This paper cites How do fixes become bugs?.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification How do fixes become bugs?

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b247c5b2-1593-42fb-901c-ab8ff0819bc5 · outbound

This paper cites Classes of recursively enumerable sets and their decision problems,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Classes of recursively enumerable sets and their decision problems,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d4fb286-e980-473f-8135-6919aaf4cf9a · outbound

This paper cites Regression verification: proving the equivalence of similar programs,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Regression verification: proving the equivalence of similar programs,

Reference 3

Resolution: verified exact; doi, observed 2026-07-14T13:00:29.600920Z

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 5836c933-5421-4252-9e1b-d5446b509592 · outbound

This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Enchanting program specification synthesis by large language models using static analysis and program verification,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8bb7ba2-7936-4b7d-9346-8c34cf7823c9 · outbound

This paper cites Specify what? enhancing neural specification synthesis by symbolic methods,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Specify what? enhancing neural specification synthesis by symbolic methods,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 115babd3-0e51-4047-98f5-b848dd86da78 · outbound

This paper cites A tale of 1001 loc: Potential runtime error-guided specification synthesis for verifying large-scale programs,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification A tale of 1001 loc: Potential runtime error-guided specification synthesis for verifying large-scale programs,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba3eaaeb-6f6a-4cf1-8aa4-f36c5d07a6f3 · outbound

This paper cites Available: https://doi.org/10.1145/3798268.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Available: https://doi.org/10.1145/3798268

Reference 7

Resolution: verified exact; doi, observed 2026-07-14T13:00:29.617862Z

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 0e0c38e8-4c45-405e-9e8d-36d9e1983793 · outbound

This paper cites Regression verification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Regression verification,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b140416e-9bc5-4131-81b9-56c434644585 · outbound

This paper cites An axiomatic basis for computer programming,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification An axiomatic basis for computer programming,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd4f8eed-9a38-4ba7-ba01-ad6654da5f14 · outbound

This paper cites Applying ’design by contract’,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Applying ’design by contract’,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c12b0a5-7cb0-4527-af96-ea66536d9dc7 · outbound

This paper cites Automating regression verification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Automating regression verification,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5984f0e7-0be4-4aa5-b547-9523a52da1f4 · outbound

This paper cites Automating regression veri- fication of pointer programs by predicate abstraction,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Automating regression veri- fication of pointer programs by predicate abstraction,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91eba430-b6ae-486d-809e-a3c1d9046963 · outbound

This paper cites Symdiff: A language-agnostic semantic diff tool for imperative programs,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Symdiff: A language-agnostic semantic diff tool for imperative programs,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3fe9767-6ef5-41f4-8c3f-77e521979730 · outbound

This paper cites Differential assertion checking,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Differential assertion checking,

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-14T13:00:29.604694Z

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 7842924c-61b2-4325-8fbd-b8f13795dd6d · outbound

This paper cites Towards modularly comparing programs using automated theorem provers,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Towards modularly comparing programs using automated theorem provers,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62d9af08-2e2a-4964-b795-3ddf9daed67c · outbound

This paper cites Ardiff: scaling program equivalence checking via iterative abstraction and refinement of common code,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Ardiff: scaling program equivalence checking via iterative abstraction and refinement of common code,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8d70502-14f0-4aeb-b7cb-ef3b3c05d05d · outbound

This paper cites Peqcheck: Localized and context-aware checking of functional equivalence,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Peqcheck: Localized and context-aware checking of functional equivalence,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b461d0e-0bf0-457f-bf52-627b3a5061ff · outbound

This paper cites Peqtest: Testing functional equivalence,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Peqtest: Testing functional equivalence,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36a71a45-259d-4507-bc16-b3c465d8086e · outbound

This paper cites Pasda: A partition-based semantic differencing approach with best effort classification of undecided cases,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Pasda: A partition-based semantic differencing approach with best effort classification of undecided cases,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e91eb053-a144-401d-a40c-5033dc3120ec · outbound

This paper cites Differential symbolic execution,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Differential symbolic execution,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3ce77cf-f838-4075-8adb-2585ce301ea2 · outbound

This paper cites Shadow of a doubt: testing for divergences between software versions,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Shadow of a doubt: testing for divergences between software versions,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebc5d21b-74e0-4d17-a03c-e677a2c49cb7 · outbound

This paper cites Strengthening supply chain security with fine-grained safe patch identification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Strengthening supply chain security with fine-grained safe patch identification,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9a5337a-d726-4c41-9e5e-222c7b678de4 · outbound

This paper cites Available: https://doi.org/10.1145/3597503.3639104.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Available: https://doi.org/10.1145/3597503.3639104

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bf78954-c782-4dc0-bd49-fd864eeb2480 · outbound

This paper cites cozy: Comparative symbolic execution for binary programs,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification cozy: Comparative symbolic execution for binary programs,

Reference 24

Resolution: verified exact; doi, observed 2026-07-14T13:00:29.670685Z

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 b10a540f-717d-4095-a49c-b53e95ecec7e · outbound

This paper cites Mokav: Execution-driven differential testing with llms,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Mokav: Execution-driven differential testing with llms,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43fe4484-d3d9-4f71-8b7b-3f1356a6db81 · outbound

This paper cites Unittenx: Generating tests for legacy packages with ai agents powered by formal verification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Unittenx: Generating tests for legacy packages with ai agents powered by formal verification,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6d5bdf6-e0e4-4c19-aa8e-f54ae27d7657 · outbound

This paper cites Quantitative symbolic patch impact analysis,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Quantitative symbolic patch impact analysis,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39ae9746-9849-40e7-a508-fce8c63ffeff · outbound

This paper cites Regression verifica- tion using impact summaries,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Regression verifica- tion using impact summaries,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f167d796-de80-423f-96e9-f8b2979b0306 · outbound

This paper cites A new era in software security: Towards self-healing software via large language models and formal verification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification A new era in software security: Towards self-healing software via large language models and formal verification,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bcfbdfc-93e8-44b8-a898-f703e4fce649 · outbound

This paper cites Beyond postconditions: Can large language models infer formal contracts for automatic software verification?.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Beyond postconditions: Can large language models infer formal contracts for automatic software verification?

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52244186-8ade-48af-a0e1-dc61eb758d8d · outbound

This paper cites ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31234c78-f5ef-4d03-8d2f-6ff016b54602 · outbound

This paper cites AutoDeduct: A Tool for Automated Deductive Verification of C Code.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification AutoDeduct: A Tool for Automated Deductive Verification of C Code

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55c14be5-5c9c-4d90-9e3a-0ce57b78b81c · outbound

This paper cites Amilon, Z.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Amilon, Z

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20108ddd-e722-422d-bf1f-af077cb26c3a · outbound

This paper cites Automatic inference of frame axioms using static analysis,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Automatic inference of frame axioms using static analysis,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05efe0d0-7a05-4a55-ada0-49059a10be2a · outbound

This paper cites Compositional shape analysis by means of bi-abduction,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Compositional shape analysis by means of bi-abduction,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b75e2184-432d-4d38-a3fb-cf2572026f45 · outbound

This paper cites Quiver: Guided abductive inference of separation logic specifications in coq,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Quiver: Guided abductive inference of separation logic specifications in coq,

Reference 36

Resolution: verified exact; doi, observed 2026-07-14T13:00:29.629051Z

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 fd273794-5c01-4f9c-aa26-2ccd3186409b · outbound

This paper cites Evaluating LLM-Generated ACSL Annotations for Formal Verification.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Evaluating LLM-Generated ACSL Annotations for Formal Verification

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a557f07f-3fd0-4484-8fca-d7d46ad21f2e · outbound

This paper cites Llm meets bounded model checking: Neuro-symbolic loop invariant inference,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Llm meets bounded model checking: Neuro-symbolic loop invariant inference,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2787448-70e1-4302-b049-8964dfaa098e · outbound

This paper cites Clause2inv: A generate-combine-check framework for loop invariant inference,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Clause2inv: A generate-combine-check framework for loop invariant inference,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fae0071-df8c-4049-9c85-772783006af4 · outbound

This paper cites Bali: Branch-aware loop invariant inference with large language models,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Bali: Branch-aware loop invariant inference with large language models,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd6d8b26-3e12-41cb-8ed6-b41f25e6ee61 · outbound

This paper cites Cill: Cti-guided invariant generation via llms for model checking,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Cill: Cti-guided invariant generation via llms for model checking,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b443418c-d217-476e-bbf2-8c301ceda067 · outbound

This paper cites Dafnypro: Llm-assisted automated verification for dafny programs,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Dafnypro: Llm-assisted automated verification for dafny programs,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff2bbf48-e87e-4c78-a83f-baf627f1c728 · outbound

This paper cites dafny-annotator: AI-Assisted Verification of Dafny Programs.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification dafny-annotator: AI-Assisted Verification of Dafny Programs

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4934152e-659d-4e49-aa7d-6068163982b1 · outbound

This paper cites Inferring multiple helper dafny assertions with llms,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Inferring multiple helper dafny assertions with llms,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54d99c46-9ad9-4919-8fd6-9a558bd86f8e · outbound

This paper cites Quokka: Accelerating program verification with LLMs via invariant synthesis,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Quokka: Accelerating program verification with LLMs via invariant synthesis,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation add1da78-534a-40bc-aa75-da07deb19900 · outbound

This paper cites Program synthesis by sketching,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Program synthesis by sketching,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0d7a749-3c07-4748-98b8-b8c5a4485bb6 · outbound

This paper cites Learning invariants using decision trees and implication counterexamples,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Learning invariants using decision trees and implication counterexamples,

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6adceaf5-6b95-401b-b223-d858e7c9fd50 · outbound

This paper cites Data-driven precondition inference with learned features,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Data-driven precondition inference with learned features,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69122fb7-1593-4b43-b7c0-891ad982f279 · outbound

This paper cites Learning loop invariants for program verification,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Learning loop invariants for program verification,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93419959-9ec9-46df-ab64-213227a88aaa · outbound

This paper cites Efficient detection of vacuity in actl formulas,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Efficient detection of vacuity in actl formulas,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5205bf71-ab0a-41e6-8d6a-392cc2d0be10 · outbound

This paper cites A behavioral notion of subtyping,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification A behavioral notion of subtyping,

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3dc100d-b8d9-4c97-bfaa-9aecd2cbb000 · outbound

This paper cites Available: https://doi.org/10.1145/197320.197383.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Available: https://doi.org/10.1145/197320.197383

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e32f11cf-9046-44b8-bf9b-caae82d5ec0c · outbound

This paper cites Back and J.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Back and J

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5983eddb-b58c-406d-9515-bdeb3bfe2906 · outbound

This paper cites Available: https://doi.org/10.1007/978-1-4612-1674-2.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Available: https://doi.org/10.1007/978-1-4612-1674-2

Reference 54

Resolution: verified exact; doi, observed 2026-07-14T13:00:29.594075Z

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 2962f69b-4c44-4fc8-a765-d1cd90cfd399 · outbound

This paper cites Eqbench: A dataset of equivalent and non-equivalent program pairs,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Eqbench: A dataset of equivalent and non-equivalent program pairs,

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 248ff9a6-6b24-4f99-b089-18b14d4c6fb4 · outbound

This paper cites EquiBench: Benchmarking large language models’ reasoning about program semantics via equivalence checking,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification EquiBench: Benchmarking large language models’ reasoning about program semantics via equivalence checking,

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdd69a0f-ff86-4d5b-8748-f19893c467c0 · outbound

This paper cites A repository dedicated for problems related to verification of programs using the tool Frama-C,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification A repository dedicated for problems related to verification of programs using the tool Frama-C,

Reference 57

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 245ca0ac-85cb-45bf-818e-f3a205181315 · outbound

This paper cites (2026, 5) Introducing claude opus 4.8.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification (2026, 5) Introducing claude opus 4.8

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 987a76e5-051d-4b91-a72a-fe4fd967e88c · outbound

This paper cites (2026) moonshotai/kimi-k2.6.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification (2026) moonshotai/kimi-k2.6

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 205b5619-7dd1-448a-826a-7313d06d3b44 · outbound

This paper cites Qwen3.6-27B: Flagship-level coding in a 27B dense model,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Qwen3.6-27B: Flagship-level coding in a 27B dense model,

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 622a92ff-5a3e-403c-af30-4f548f36cc59 · outbound

This paper cites Mislabeled equivalent pairs in EqBench-C,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Mislabeled equivalent pairs in EqBench-C,

Reference 61

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccb40727-21f2-4689-bbcb-8ddcaf0a9c6a · outbound

This paper cites Svf: interprocedural static value-flow analysis in llvm,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Svf: interprocedural static value-flow analysis in llvm,

Reference 62

Resolution: unresolved; no resolver link, observed 2026-07-14T12:52:50.844575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4a44b53-ea80-42a8-b4f4-05e1c68fd0f7 · outbound

This paper cites Documenting and automating collateral evolutions in linux device drivers,.

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification Documenting and automating collateral evolutions in linux device drivers,

Reference 63

Resolution: verified exact; arxiv_id, observed 2026-07-14T13:00:29.615876Z

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.

Coverage vector

Reference resolution

Outbound references

Pith citing papers