HarnessLLM: Rust Verification Harness Generation with Large Language Models | Paper Citation Record

Observation 25bdc074-c7a5-470a-a535-6b3662e50eff · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:30.406600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da5560da-d45c-441d-b3c9-ff079cb94b37 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:30.559198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba4e7a6f-7674-4b82-b711-8d62d6daeb67 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:30.715270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20988011-169f-4d6c-b5e9-5753817d52a0 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:30.866056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a93615d-acb2-42e8-9611-2d8c15f9d575 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.000484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 143ff07e-7865-4517-8b9d-d1517170b057 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.125516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c22b5c53-b42c-45ea-a104-fa4c4cf51730 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.236653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78487b1e-8cf0-4ba1-a808-8b291424eae2 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.469415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c77faa5-f9ff-49d9-b980-51bebe360752 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.528201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e8869de-795b-4ba4-a177-e117bd59924f · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.581115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41faddd6-c38a-45a4-9772-12dd8e7a3791 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.650114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a94c3e7b-2465-45f4-a330-0034d3f69765 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.733383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 117ea815-afb6-4cd2-a6ba-9c46f7cfdc87 · outbound

This paper cites The RVT developers.

HarnessLLM: Rust Verification Harness Generation with Large Language Models The RVT developers

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.792455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e0f5153-c576-4d30-9890-87cd1489bc45 · outbound

This paper cites 2019.Verification of Rust Generics, Typestates, and Traits (Master’s thesis).

HarnessLLM: Rust Verification Harness Generation with Large Language Models 2019.Verification of Rust Generics, Typestates, and Traits (Master’s thesis)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:31.892123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82b8e1f6-76c1-4a30-8837-7df67f323322 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.028665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e0ae096-a8e8-4c3d-abe6-5bd4c597790d · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.169127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00eca329-154c-4cbe-9b76-5e49b1edd52d · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.254058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cfcb170-cfa8-43b8-9984-f8f48834b40f · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.504348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0052f82-c9de-4221-8cc4-3bdd5deda6a8 · outbound

This paper cites I wouldn’t want my unsafe code to run my pacemaker.

HarnessLLM: Rust Verification Harness Generation with Large Language Models I wouldn’t want my unsafe code to run my pacemaker

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.613141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97f5a732-9654-4ef3-82e9-400514888383 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.723464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 731b6d67-8ed0-4e4a-a96a-6cde09178165 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.851391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c1a4a68-a326-488a-a22b-0ae6e6c351b0 · outbound

This paper cites Lorch, Oded Padon, and Bryan Parno.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Lorch, Oded Padon, and Bryan Parno

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.971084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 643a2f51-ece4-49f8-afef-c741ae4610fd · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.107604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c3c2d8-88ef-4128-b497-5fb08d923250 · outbound

This paper cites Lahiri, and Siddhartha Sen.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Lahiri, and Siddhartha Sen

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.217629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0829b68f-6c8a-44c6-85d8-ecbcbceb651d · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.382744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4194616b-c453-460a-9828-3ae20d36211d · outbound

This paper cites Generating API Parameter Security Rules with LLM for API Misuse Detection.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Generating API Parameter Security Rules with LLM for API Misuse Detection

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.544552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03384ace-8d54-43c9-953f-affc5c334f59 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.679325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ba4dc27-bde6-4420-bf72-ce2b54e5ea63 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.770319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16363d07-c203-4c65-8a65-90b3f63ec110 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.888914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f797f51c-7695-481b-9134-c3794209f397 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:33.998619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 570935c3-cc61-47cb-b9a1-878cf4193a85 · outbound

This paper cites Crux, a Precise Verifier for Rust and Other Languages.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Crux, a Precise Verifier for Rust and Other Languages

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.121704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42383bd8-72c6-4dc9-94f5-56c42d307a6c · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.290768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5be2b9fd-ae3d-4525-894f-338e609b0d83 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.418261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1fce8fd-0039-41d7-945a-1bc5ef668c2b · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.556741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7ece542-9165-4c3c-9a53-4ca385b56dac · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.672066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7f38c69-8f52-4fbd-8752-55577904fe06 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.782919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72a48928-8376-4c65-bc6c-d898ccc19051 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:34.898685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27121012-e1be-448d-9253-f2686002d221 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.013596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c11d89c4-4137-41ee-8751-eba73c1bab3f · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.136665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fb06247-177a-425e-94ca-98e1612c8be0 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.282528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f39ddec-138b-4e23-883e-50be5956eef7 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.396279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab071217-1440-4e8c-a17e-40fbbf496fc5 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.513274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e18f701e-2f2c-4b9f-9490-2b2df26c838e · outbound

This paper cites 2016.Simple Verification of Rust Programs via Functional Purifi- cation (Master’s thesis).

HarnessLLM: Rust Verification Harness Generation with Large Language Models 2016.Simple Verification of Rust Programs via Functional Purifi- cation (Master’s thesis)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.573688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c778cbc-38e8-4743-94f0-16481ec85daf · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.644180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aaa8381a-83e8-42c2-b891-78d5116d26dc · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.702465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27ac31ed-0d9b-4f1c-b92c-8b14473d74eb · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.773546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 538ae111-6beb-42e0-aa66-1375d4a83c22 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.847291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71a7fbc6-6681-4db5-9559-c456676bd0f5 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.901027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ffb40f9-ea64-4af0-b793-ef70f8bc22df · outbound

This paper cites Finetuned Language Models Are Zero-Shot Learners.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Finetuned Language Models Are Zero-Shot Learners

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:35.973027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da7171a7-2f5a-440c-9542-28697435c7e3 · outbound

This paper cites Chi, Quoc V.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Chi, Quoc V

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.031544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b519245-b959-43a6-a00d-00acf3441113 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.099558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aac3971b-2518-424e-8de0-2e05a26f3e38 · outbound

This paper cites Zhang, and Yong Liu.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Zhang, and Yong Liu

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.151419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9004cc1-d32d-4a86-9583-3c4da4f66d5a · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.228534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65a5821f-84b9-48b3-93ef-94fad6dae834 · outbound

This paper cites CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph.

HarnessLLM: Rust Verification Harness Generation with Large Language Models CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.355896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d7bbf71-817f-4054-9b40-d7e9f1612985 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.412355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 988b7e66-4286-4020-a36e-6d5452c5dbf2 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.537620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56993bde-6c73-4041-9428-041d84c5da36 · outbound

This paper cites AutoVerus: Automated Proof Generation for Rust Code.

HarnessLLM: Rust Verification Harness Generation with Large Language Models AutoVerus: Automated Proof Generation for Rust Code

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.588772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15dd71e1-3d2c-4ca9-ba3c-0a9e60447a7e · outbound

This paper cites InProceedings of the IEEE/ACM 46th International Conference on Software Engineering(Lisbon, Portugal)(ICSE ’24).

HarnessLLM: Rust Verification Harness Generation with Large Language Models InProceedings of the IEEE/ACM 46th International Conference on Software Engineering(Lisbon, Portugal)(ICSE ’24)

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.483682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e106664a-07bf-4e93-9d3e-d042bc1777b6 · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

HarnessLLM: Rust Verification Harness Generation with Large Language Models ReAct: Synergizing Reasoning and Acting in Language Models

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.717500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e54f424-503f-4447-b762-665fa8b0fc73 · outbound

This paper cites GPTFUZZER: Red Teaming Large Language Models with Auto-Generated Jailbreak Prompts.

HarnessLLM: Rust Verification Harness Generation with Large Language Models GPTFUZZER: Red Teaming Large Language Models with Auto-Generated Jailbreak Prompts

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.765652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a8a1cc0-646b-4a22-b170-bfbd985686ab · outbound

This paper cites Leveraging Large Language Models for Automated Proof Synthesis in Rust.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Leveraging Large Language Models for Automated Proof Synthesis in Rust

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.638795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42d39f11-ed8f-497e-b4e3-572e6b0334f2 · outbound

This paper cites A Hybrid Approach to Semi-automated Rust Verification.

HarnessLLM: Rust Verification Harness Generation with Large Language Models A Hybrid Approach to Semi-automated Rust Verification

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.942851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91a3acb4-921f-4b53-b42c-c515924b4825 · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.838374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aac7498-7464-4ed2-9802-a7a994e44cad · outbound

This paper cites In Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice(Lisbon, Portugal)(ICSE-SEIP ’24).

HarnessLLM: Rust Verification Harness Generation with Large Language Models In Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice(Lisbon, Portugal)(ICSE-SEIP ’24)

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.892015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67012502-77d1-4e21-bf53-3bf8e5c4413f · outbound

This paper cites an unresolved cited work.

HarnessLLM: Rust Verification Harness Generation with Large Language Models Unresolved cited work

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.286275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cc7ae4e-cb2f-49cf-8332-1ad27e959db3 · outbound

This paper cites ACM Program.

HarnessLLM: Rust Verification Harness Generation with Large Language Models ACM Program

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:32.392025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers