Image de couverture de livre

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Endres, Madeline, Fakhoury, Sarah, Chakraborty, Saikat, Lahiri, Shuvendu K.
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

ClassInvGen: Class Invariant Synthesis using Large Language Models
par: Sun, Chuyue, et autres
Publié: (2025)

Ranking LLM-Generated Loop Invariants for Program Verification
par: Chakraborty, Saikat, et autres
Publié: (2023)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
par: Richter, Cedric, et autres
Publié: (2025)

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

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

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
par: Fakhoury, Sarah, et autres
Publié: (2024)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
par: Saieva, Anthony, et autres
Publié: (2023)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
par: Xia, Shihao, et autres
Publié: (2026)

Program Structure Aware Precondition Generation
par: Dinella, Elizabeth, et autres
Publié: (2023)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

Assessing the Interpretability of Programmatic Policies with Large Language Models
par: Bashir, Zahra, et autres
Publié: (2023)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

Solving Data-centric Tasks using Large Language Models
par: Barke, Shraddha, et autres
Publié: (2024)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
par: Chakraborty, Madhurima, et autres
Publié: (2025)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
par: Le-Cong, Thanh, et autres
Publié: (2025)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
par: Beheshti, Amin
Publié: (2024)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
par: Liu, Ruibang, et autres
Publié: (2024)

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
par: Cassano, Federico, et autres
Publié: (2023)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
par: Esmaeili, Amirreza, et autres
Publié: (2025)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
par: Wang, Peiding, et autres
Publié: (2025)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
par: Lang, Nguyet-Anh H., et autres
Publié: (2026)

CodeMind: Evaluating Large Language Models for Code Reasoning
par: Liu, Changshu, et autres
Publié: (2024)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
par: Dumitran, Adrian Marius, et autres
Publié: (2024)

Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
par: Wallraven, Stephan, et autres
Publié: (2026)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
par: Zhang, Yedi, et autres
Publié: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
par: Shirafuji, Atsushi, et autres
Publié: (2023)

Large Language Models for Code Summarization
par: Szalontai, Balázs, et autres
Publié: (2024)

Breaking the Myth: Can Small Models Infer Postconditions Too?
par: Zhang, Gehao, et autres
Publié: (2025)

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
par: Fu, David Jiahao, et autres
Publié: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
par: Wei, Anjiang, et autres
Publié: (2025)

IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models
par: Imtiaz, Sayem Mohammad, et autres
Publié: (2025)

ChatDBG: Augmenting Debugging with Large Language Models
par: Levin, Kyla H., et autres
Publié: (2024)

Large Language Models Synergize with Automated Machine Learning
par: Xu, Jinglue, et autres
Publié: (2024)

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
par: Fakhoury, Sarah, et autres
Publié: (2024)

Is Functional Correctness Enough to Evaluate Code Language Models? Exploring Diversity of Generated Codes
par: Chon, Heejae, et autres
Publié: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
par: He, Pengfei, et autres
Publié: (2026)

Fine-Tuning Multilingual Language Models for Code Review: An Empirical Study on Industrial C# Projects
par: Begolli, Igli, et autres
Publié: (2025)

Turn: A Language for Agentic Computation
par: Kizito, Muyukani
Publié: (2026)

A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
par: Dandamudi, Rohit, et autres
Publié: (2024)