On the public citation graph
Laurel: Unblocking Automated Verification with Large Language Models
0 signed · 56 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-030-88806-0_12openalex-snapshot
Toward Neural-Network-Guided Program Synthesis and Verification
inferredcites →https://doi.org/10.1007/978-3-031-17244-1_6openalex-snapshot
Creusot: A Foundry for the Deductive Verification of Rust Programs
inferredcites →https://doi.org/10.1007/978-3-031-27481-7_32openalex-snapshot
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
inferredcites →https://doi.org/10.1007/978-3-031-65112-0_7openalex-snapshot
Clover: Closed-Loop Verifiable Code Generation
inferredcites →https://doi.org/10.1007/978-3-319-49812-6openalex-snapshot
Deductive Software Verification – The KeY Book
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-17511-4_20openalex-snapshot
Dafny: An Automatic Program Verifier for Functional Correctness
inferredcites →https://doi.org/10.1007/978-3-642-37036-6_8openalex-snapshot
Why3 — Where Programs Meet Provers
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_2openalex-snapshot
Software Model Checking for People Who Love Automata
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_4openalex-snapshot
Assigning Meanings to Programs
inferredcites →https://doi.org/10.1007/s10664-019-09697-7openalex-snapshot
Siamese: scalable and incremental code clone search via multiple code representations
inferredcites →https://doi.org/10.1007/s11042-018-5827-6openalex-snapshot
Plagiarism detection in students’ programming assignments based on semantics: multimedia e-learning based smart assessment methodology
inferredcites →https://doi.org/10.1007/s11390-015-1573-7openalex-snapshot
Detecting Android Malware Using Clone Detection
inferredcites →https://doi.org/10.1016/j.jss.2023.111796openalex-snapshot
A systematic literature review on source code similarity measurement and clone detection: Techniques, applications, and challenges
inferredcites →https://doi.org/10.1016/j.scico.2022.102839openalex-snapshot
ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment
inferredcites →https://doi.org/10.1049/cp.2013.2291openalex-snapshot
Semantic Code Clone Detection Using Parse Trees and Grammar Recovery
inferredcites →https://doi.org/10.1093/comjnlopenalex-snapshot
Design And Evaluation Of A Distributed Clustering Algorithm For Mobile Ad Hoc Networks
inferredcites →https://doi.org/10.1109/iceca.2019.8821928openalex-snapshot
Design and Development of Software Tool for Code Clone Search, Detection, and Analysis
inferredcites →https://doi.org/10.1109/icpc.2008.41openalex-snapshot
NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization
inferredcites →https://doi.org/10.1109/icse.2007.30openalex-snapshot
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones
inferredcites →https://doi.org/10.1109/icse48619.2023.00129openalex-snapshot
Automated Program Repair in the Era of Large Pre-trained Language Models
inferredcites →https://doi.org/10.1109/icsme55016.2022.00080openalex-snapshot
Using a Nearest-Neighbour, BERT-Based Approach for Scalable Clone Detection
inferredcites →https://doi.org/10.1109/msec.2022.3153035openalex-snapshot
Formally Verifying Industry Cryptography
inferredcites →https://doi.org/10.1109/sp40000.2020.00114openalex-snapshot
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
inferredcites →https://doi.org/10.1137/0218082openalex-snapshot
Simple Fast Algorithms for the Editing Distance between Trees and Related Problems
inferredcites →https://doi.org/10.1145/2837614.2837655openalex-snapshot
Dependent types and multi-monadic effects in F*
inferredcites →https://doi.org/10.1145/321796.321811openalex-snapshot
The String-to-String Correction Problem
inferredcites →https://doi.org/10.1145/3290353openalex-snapshot
code2vec: learning distributed representations of code
inferredcites →https://doi.org/10.1145/3360573openalex-snapshot
Leveraging rust types for modular specification and verification
inferredcites →https://doi.org/10.1145/3586037openalex-snapshot
Verus: Verifying Rust Programs using Linear Ghost Types
inferredcites →https://doi.org/10.1145/3611643.3616243openalex-snapshot
Baldur: Whole-Proof Generation and Repair with Large Language Models
inferredcites →https://doi.org/10.1145/3643763openalex-snapshot
Towards AI-Assisted Synthesis of Verified Dafny Methods
inferredcites →https://doi.org/10.1145/3644033.3644374openalex-snapshot
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
inferredcites →https://doi.org/10.1145/3650212.3680323openalex-snapshot
Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT
inferredcites →https://doi.org/10.18653/v1/2022.acl-long.556openalex-snapshot
Fantastically Ordered Prompts and Where to Find Them: Overcoming Few-Shot Prompt Order Sensitivity
inferredcites →https://doi.org/10.18653/v1/2022.acl-long.60openalex-snapshot
An Information-theoretic Approach to Prompt Engineering Without Ground Truth Labels
inferredcites →https://doi.org/10.18653/v1/2022.deelio-1.10openalex-snapshot
What Makes Good In-Context Examples for GPT-3?
inferredcites →https://doi.org/10.4230/lipics.esem.2026.34openalex-snapshot
A Direction-Aware Study of LLM-Based Code Translation Across Eight Programming Languages
inferredcites →https://doi.org/10.48550/arxiv.2305.01598openalex-snapshot
From Words to Code: Harnessing Data for Program Synthesis from Natural Language
inferredcites →https://doi.org/10.5281/zenodo.14598696openalex-snapshot
emugnier/dafny_repair: Artifact
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-032-10444-1_13openalex-snapshot
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
inferred← citeshttps://doi.org/10.1007/978-3-032-10444-1_16openalex-snapshot
Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_32openalex-snapshot
Towards Language Model Guided $$\text {TLA}^{+}$$ Proof Automation
inferred← citeshttps://doi.org/10.1007/978-3-032-33865-5_24openalex-snapshot
ProtoCase: Case-Based Repair for LLM-Generated Security Protocol Models
inferred← citeshttps://doi.org/10.1007/978-3-032-41269-0_5openalex-snapshot
From Manual to LLM-Assisted Formal Verification of a PKCS#1 Signature Parser
inferred← citeshttps://doi.org/10.1109/llm4code66737.2025.00032openalex-snapshot
From Scientific Texts to Verifiable Code: Automating the Process with Transformers
inferred← citeshttps://doi.org/10.1145/3763174openalex-snapshot
AutoVerus: Automated Proof Generation for Rust Code
inferred← citeshttps://doi.org/10.1145/3763181openalex-snapshot
On the Impact of Formal Verification on Software Development
inferred← citeshttps://doi.org/10.1145/3793656.3793688openalex-snapshot
Autofy: Automated Synthesis of Formally Verified Code
inferred← citeshttps://doi.org/10.1145/3808332openalex-snapshot
Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
inferred← citeshttps://doi.org/10.1145/3828709openalex-snapshot
Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
inferred← citeshttps://doi.org/10.1145/3832783.3834504openalex-snapshot
Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd
inferred← citeshttps://doi.org/10.1145/3834570openalex-snapshot
Path-Sensitive Loop Invariant Inference via Large Language Models and Abstract Interpretation
inferred← citeshttps://doi.org/10.32388/mlaotgopenalex-snapshot
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.