Imagen de Portada

Viverra: Text-to-Code with Guarantees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wu, Haoze, Klopfenstein, Rocky, Farkas, Keith, Narodytska, Nina
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Artificial Intelligence Human-Computer Interaction Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
por: Tremante, Andrew, et al.
Publicado: (2026)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
por: Klopfenstein, Rocky, et al.
Publicado: (2025)

Usable-by-Construction: a formal framework
por: Reeves, Steve
Publicado: (2024)

ASP-driven User-interaction with Clinguin
por: Beiser, Alexander, et al.
Publicado: (2025)

CodeAlignBench: Assessing Code Generation Models on Developer-Preferred Code Adjustments
por: Mehralian, Forough, et al.
Publicado: (2025)

Coding with Eyes: Visual Feedback Unlocks Reliable GUI Code Generating and Debugging
por: Liu, Zhilin, et al.
Publicado: (2026)

Is Vibe Coding the Future? An Empirical Assessment of LLM Generated Codes for Construction Safety
por: Uddin, S M Jamil
Publicado: (2026)

Accodemy: AI Powered Code Learning Platform to Assist Novice Programmers in Overcoming the Fear of Coding
por: Aamina, M. A. F., et al.
Publicado: (2025)

Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Generation from Interactive Prototyping
por: Xiao, Jingyu, et al.
Publicado: (2024)

Using an LLM to Help With Code Understanding
por: Nam, Daye, et al.
Publicado: (2023)

More Code, Less Reuse: Investigating Code Quality and Reviewer Sentiment towards AI-generated Pull Requests
por: Huang, Haoming, et al.
Publicado: (2026)

An Exploratory Study of ML Sketches and Visual Code Assistants
por: Gomes, Luís F., et al.
Publicado: (2024)

Envisioning the Next-Generation AI Coding Assistants: Insights & Proposals
por: Nghiem, Khanh, et al.
Publicado: (2024)

CentaurEval: Benchmarking Human-in-the-Loop Value in Agentic Coding
por: Luo, Hanjun, et al.
Publicado: (2025)

CosmoCore Affective Dream-Replay Reinforcement Learning for Code Generation
por: Ravindran, Santhosh Kumar
Publicado: (2025)

EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
por: Zhang, Yifan, et al.
Publicado: (2024)

Can Developers Prompt? A Controlled Experiment for Code Documentation Generation
por: Kruse, Hans-Alexander, et al.
Publicado: (2024)

"My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding Assistants
por: Lyu, Yunbo, et al.
Publicado: (2025)

EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
por: Zhang, Yifan, et al.
Publicado: (2025)

Evaluating the Quality of Code Comments Generated by Large Language Models for Novice Programmers
por: Fan, Aysa Xuemo, et al.
Publicado: (2024)

Optimizing LLM Code Suggestions: Feedback-Driven Timing with Lightweight State Bounds
por: Awad, Mohammad Nour Al, et al.
Publicado: (2025)

Catching UX Flaws in Code: Leveraging LLMs to Identify Usability Flaws at the Development Stage
por: Platt, Nolan, et al.
Publicado: (2025)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
por: Huang, Ruanqianqian, et al.
Publicado: (2025)

Dynamic Code Orchestration: Harnessing the Power of Large Language Models for Adaptive Script Execution
por: Del Vecchio, Justin, et al.
Publicado: (2024)

Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to Optimize LLM-Assisted Programming
por: Awad, Mohammad Nour Al, et al.
Publicado: (2025)

Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
por: Meske, Christian, et al.
Publicado: (2025)

Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering
por: Zhang, Tanghaoran, et al.
Publicado: (2024)

"I'm Not Reading All of That": Understanding Software Engineers' Level of Cognitive Engagement with Agentic Coding Assistants
por: Catalan, Carlos Rafael, et al.
Publicado: (2026)

Agentic Metacognition: Designing a "Self-Aware" Low-Code Agent for Failure Prediction and Human Handoff
por: Xu, Jiexi
Publicado: (2025)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
por: Chen, Minyu, et al.
Publicado: (2024)

How Coding Agents Fail Their Users: A Large-Scale Analysis of Developer-Agent Misalignment in 20,574 Real-World Sessions
por: Tang, Ningzhi, et al.
Publicado: (2026)

Automatic Bug Detection in LLM-Powered Text-Based Games Using LLMs
por: Jin, Claire, et al.
Publicado: (2024)

Automated Visualization Code Synthesis via Multi-Path Reasoning and Feedback-Driven Optimization
por: Seo, Wonduk, et al.
Publicado: (2025)

NeuroSync: Intent-Aware Code-Based Problem Solving via Direct LLM Understanding Modification
por: Zhang, Wenshuo, et al.
Publicado: (2025)

AmbiBench: Benchmarking Mobile GUI Agents Beyond One-Shot Instructions in the Wild
por: Sun, Jiazheng, et al.
Publicado: (2026)

FeedAIde: Guiding App Users to Submit Rich Feedback Reports by Asking Context-Aware Follow-Up Questions
por: Pourasad, Ali Ebrahimi, et al.
Publicado: (2026)

AICoFe: Implementation and Deployment of an AI-Based Collaborative Feedback System for Higher Education
por: Becerra, Alvaro, et al.
Publicado: (2026)

Toward Epistemic Stability: Engineering Consistent Procedures for Industrial LLM Hallucination Reduction
por: Freeman, Brian, et al.
Publicado: (2026)

HAAS: A Policy-Aware Framework for Adaptive Task Allocation Between Humans and Artificial Intelligence Systems
por: Pelechano, Vicente, et al.
Publicado: (2026)

From Junior to Senior: Allocating Agency and Navigating Professional Growth in Agentic AI-Mediated Software Engineering
por: Feng, Dana, et al.
Publicado: (2026)