Copertina

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chakraborty, Saikat, Ebner, Gabriel, Bhat, Siddharth, Fakhoury, Sarah, Fatima, Sakina, Lahiri, Shuvendu, Swamy, Nikhil
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Artificial Intelligence Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
di: Endres, Madeline, et al.
Pubblicazione: (2023)

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
di: Fakhoury, Sarah, et al.
Pubblicazione: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
di: Chakraborty, Saikat, et al.
Pubblicazione: (2023)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
di: Fakhoury, Sarah, et al.
Pubblicazione: (2024)

Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)

ClassInvGen: Class Invariant Synthesis using Large Language Models
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
di: Jain, Rijul, et al.
Pubblicazione: (2025)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
di: Lahiri, Shuvendu K.
Pubblicazione: (2026)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
di: Lahiri, Shuvendu K.
Pubblicazione: (2024)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
di: Rao, Nikitha, et al.
Pubblicazione: (2024)

Unlocking the Power of Environment Assumptions for Unit Proofs
di: Priya, Siddharth, et al.
Pubblicazione: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2024)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
di: Saieva, Anthony, et al.
Pubblicazione: (2023)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
di: Beheshti, Amin
Pubblicazione: (2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs
di: Poesia, Gabriel, et al.
Pubblicazione: (2024)

LLM-Guided Compositional Program Synthesis
di: Khan, Ruhma, et al.
Pubblicazione: (2025)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
di: Sun, Maolin, et al.
Pubblicazione: (2025)

Towards Analyzing N-language Polyglot Programs
di: Prakash, Jyoti, et al.
Pubblicazione: (2026)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
di: Zhang, Dylan, et al.
Pubblicazione: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
di: Pimenova, Veronica, et al.
Pubblicazione: (2025)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis
di: Sadykov, Rustam, et al.
Pubblicazione: (2025)

Automated Proof Generation for Rust Code via Self-Evolution
di: Chen, Tianyu, et al.
Pubblicazione: (2024)

FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
di: Fatima, Sakina, et al.
Pubblicazione: (2023)

GENCNIPPET: Automated Generation of Code Snippets for Supporting Programming Questions
di: Mondal, Saikat, et al.
Pubblicazione: (2025)

LLM-Vectorizer: LLM-based Verified Loop Vectorizer
di: Taneja, Jubi, et al.
Pubblicazione: (2024)

Certified Program Synthesis with a Multi-Modal Verifier
di: Feng, Yueyang, et al.
Pubblicazione: (2026)

Herb.jl: A Unifying Program Synthesis Library
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

PoC-Gym: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation
di: Gezgin, Derin, et al.
Pubblicazione: (2026)

AI-Assisted Modeling: DSL-Driven AI Interactions
di: Smyth, Steven, et al.
Pubblicazione: (2025)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

C*: Unifying Programming and Verification in C
di: Cao, Yiyuan, et al.
Pubblicazione: (2025)

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

An Incremental Algorithm for Algebraic Program Analysis
di: Zhou, Chenyu, et al.
Pubblicazione: (2024)

Challenges of Multilingual Program Specification and Analysis
di: Furia, Carlo A., et al.
Pubblicazione: (2024)

Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
di: Yaraghi, Ahmadreza Saboor, et al.
Pubblicazione: (2025)