Copertina

Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mitchell, Jacqueline, Shaaban, Yasser
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Machine Learning Logic in Computer Science F.3.1; I.2.5
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
di: Wang, Changjie, et al.
Pubblicazione: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Context-Augmented Code Generation: How Product Context Improves AI Coding Agent Decision Compliance by 49%
di: Dillon, Drew, et al.
Pubblicazione: (2026)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
di: Baumeister, Jan, et al.
Pubblicazione: (2024)

Reasoning about expression evaluation under interference
di: Hayes, Ian J., et al.
Pubblicazione: (2024)

Towards Bug-Free Distributed Go Programs
di: Koo, Zhengqun
Pubblicazione: (2025)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
di: McDaid, Edward, et al.
Pubblicazione: (2025)

Quantifying Confidence in Assurance 2.0 Arguments
di: Bloomfield, Robin, et al.
Pubblicazione: (2026)

Formal Verification of Imperative First-Class Functions in Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
di: Klaus, Natalia, et al.
Pubblicazione: (2026)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
di: Prasetya, I. S. W. B., et al.
Pubblicazione: (2026)

Data reification in a concurrent rely-guarantee algebra
di: Meinicke, Larissa A., et al.
Pubblicazione: (2024)

Reasoning about concurrent loops and recursion with rely-guarantee rules
di: Hayes, Ian J., et al.
Pubblicazione: (2025)

Generative transformations and patterns in LLM-native approaches for software verification and falsification
di: Braberman, Víctor A., et al.
Pubblicazione: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

Converting BPMN Diagrams to Privacy Calculus
di: Pitsiladis, Georgios V., et al.
Pubblicazione: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
di: Chen, Jinbao, et al.
Pubblicazione: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
di: Amusuo, Paschal C., et al.
Pubblicazione: (2024)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
di: Xu, Qiyuan, et al.
Pubblicazione: (2026)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
di: Salva, Sébastien, et al.
Pubblicazione: (2025)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
di: Wang, Song
Pubblicazione: (2026)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
di: Majdinasab, Vahid, et al.
Pubblicazione: (2024)

Non-Ground Congruence Closure
di: Leidinger, Hendrik, et al.
Pubblicazione: (2024)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
di: Vargas, Matheus J. T.
Pubblicazione: (2025)

Kajal: Extracting Grammar of a Source Code Using Large Language Models
di: Torkamani, Mohammad Jalili
Pubblicazione: (2024)

Proof-Carrying Neuro-Symbolic Code
di: Komendantskaya, Ekaterina
Pubblicazione: (2025)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
di: Jana, Prithwish, et al.
Pubblicazione: (2025)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
di: Rawat, Sanjay
Pubblicazione: (2026)

Taming Differentiable Logics with Coq Formalisation
di: Affeldt, Reynald, et al.
Pubblicazione: (2024)

Relation-Algebraic Verification of Disjoint-Set Forests
di: Guttmann, Walter
Pubblicazione: (2023)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
di: Appel, Andrew W.
Pubblicazione: (2025)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
di: Reinhard, Tobias
Pubblicazione: (2024)

Vibe Code Bench: Evaluating AI Models on End-to-End Web Application Development
di: Tran, Hung, et al.
Pubblicazione: (2026)

Unified Fairness for Weak Memory Verification
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2023)

(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
di: Krings, Kevin, et al.
Pubblicazione: (2025)

Abductive Vibe Coding (Extended Abstract)
di: Murphy, Logan, et al.
Pubblicazione: (2026)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
di: Light, Jonathan, et al.
Pubblicazione: (2024)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
di: Yang, Ziyi, et al.
Pubblicazione: (2026)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)