Copertina

Multicalibration for LLM-based Code Generation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Campos, Viola, Kuschnereit, Robin, Ulges, Adrian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence Machine Learning I.2.2, D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
di: Ma, Tong, et al.
Pubblicazione: (2025)

You Don't Need Public Tests to Generate Correct Code
di: Silva, Kaushitha, et al.
Pubblicazione: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
di: Ranasinghe, Nishath Rajiv, et al.
Pubblicazione: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
di: Ravi, Ravin, et al.
Pubblicazione: (2026)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
di: Kessel, Marcus
Pubblicazione: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
di: Susan, Ştefan-Claudiu, et al.
Pubblicazione: (2025)

N-Version Assessment and Enhancement of Generative AI
di: Kessel, Marcus, et al.
Pubblicazione: (2024)

Morescient GAI for Software Engineering (Extended Version)
di: Kessel, Marcus, et al.
Pubblicazione: (2024)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
di: Zietsman, Christo
Pubblicazione: (2026)

A Prompt Learning Framework for Source Code Summarization
di: Xu, Tingting, et al.
Pubblicazione: (2023)

Proof Automation with Large Language Models
di: Lu, Minghai, et al.
Pubblicazione: (2024)

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
di: Fakih, Mohamad, et al.
Pubblicazione: (2024)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
di: Baldonado, Juan Manuel, et al.
Pubblicazione: (2025)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
di: Su, Jie, et al.
Pubblicazione: (2025)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
di: Raedler, Simon, et al.
Pubblicazione: (2023)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
di: Parris, William M.
Pubblicazione: (2026)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
di: Jahan, Sigma, et al.
Pubblicazione: (2026)

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
di: Petrovic, Nenad, et al.
Pubblicazione: (2024)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
di: Lebioda, Krzysztof, et al.
Pubblicazione: (2024)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
di: Kessel, Marcus
Pubblicazione: (2025)

Automated structural testing of LLM-based agents: methods, framework, and case studies
di: Kohl, Jens, et al.
Pubblicazione: (2026)

FedCSD: A Federated Learning Based Approach for Code-Smell Detection
di: Alawadi, Sadi, et al.
Pubblicazione: (2023)

Provable Fairness Repair for Deep Neural Networks
di: Ma, Jianan, et al.
Pubblicazione: (2026)

Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
di: Bates, Averi, et al.
Pubblicazione: (2025)

Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning
di: Puccioni, Laura, et al.
Pubblicazione: (2025)

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation
di: Trooskens, Geert, et al.
Pubblicazione: (2026)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
di: Thompson, Kyle, et al.
Pubblicazione: (2024)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
di: Holt, Samuel, et al.
Pubblicazione: (2023)

Can ChatGPT Support Developers? An Empirical Evaluation of Large Language Models for Code Generation
di: Jin, Kailun, et al.
Pubblicazione: (2024)

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

Monitoring Agentic Systems Before They're Reliable
di: Boston, Marisa Ferrara, et al.
Pubblicazione: (2026)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
di: Zietsman, Christo
Pubblicazione: (2026)

Multi-Agent LLM Orchestration Achieves Deterministic, High-Quality Decision Support for Incident Response
di: Drammeh, Philip
Pubblicazione: (2025)

Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
di: Surana, Shraddha, et al.
Pubblicazione: (2025)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
di: Calboreanu, Elias
Pubblicazione: (2026)

LLM Agents for Generating Microservice-based Applications: how complex is your specification?
di: Yellin, Daniel M.
Pubblicazione: (2025)

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

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
di: Paipuru, Tarakanath
Pubblicazione: (2026)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
di: Wienczkowski, Michael
Pubblicazione: (2026)

AI for software engineering: from probable to provable
di: Meyer, Bertrand
Pubblicazione: (2025)