Cover Image

ClassInvGen: Class Invariant Synthesis using Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sun, Chuyue, Agashe, Viraj, Chakraborty, Saikat, Taneja, Jubi, Barrett, Clark, Dill, David, Qiu, Xiaokang, Lahiri, Shuvendu K.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
by: Chakraborty, Saikat, et al.
Published: (2024)

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

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

Clover: Closed-Loop Verifiable Code Generation
by: Sun, Chuyue, et al.
Published: (2023)

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

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

ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
by: Xue, Pengyu, et al.
Published: (2024)

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

LLM For Loop Invariant Generation and Fixing: How Far Are We?
by: Akhond, Mostafijur Rahman, et al.
Published: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
by: Wang, Sally Junsong, et al.
Published: (2024)

OpenClassGen: A Large-Scale Corpus of Real-World Python Classes for LLM Research
by: Rahman, Musfiqur, et al.
Published: (2025)

Class Model Generation from Requirements using Large Language Models
by: Nguyen, Jackson, et al.
Published: (2026)

TestBench: Evaluating Class-Level Test Case Generation Capability of Large Language Models
by: Zhang, Quanjun, et al.
Published: (2024)

Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations
by: Valenzuela-Toledo, Pablo, et al.
Published: (2025)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
by: Orvalho, Pedro, et al.
Published: (2022)

Enhancing Class Diagram Dynamics: A Natural Language Approach with ChatGPT
by: Rouabhia, Djaber, et al.
Published: (2024)

GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements
by: Pawagi, Mrigank, et al.
Published: (2023)

Behavioral Augmentation of UML Class Diagrams: An Empirical Study of Large Language Models for Method Generation
by: Rouabhia, Djaber, et al.
Published: (2025)

Evaluating the Dependency Between Cyclomatic Complexity and Response For Class
by: Stavtsev, Maxim, et al.
Published: (2024)

The Influence of Code Smells in Efferent Neighbors on Class Stability
by: Zhang, Zushuai, et al.
Published: (2026)

Can Small GenAI Language Models Rival Large Language Models in Understanding Application Behavior?
by: Meymani, Mohammad, et al.
Published: (2025)

GenFair: Systematic Test Generation for Fairness Fault Detection in Large Language Models
by: Srinivasan, Madhusudan, et al.
Published: (2025)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
by: Chakraborty, Shalini, et al.
Published: (2025)

Ever-Improving Test Suite by Leveraging Large Language Models
by: Qiu, Ketai
Published: (2025)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
by: Jåtten, Bjørnar Haugstad, et al.
Published: (2025)

NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements
by: Giannouris, Polydoros, et al.
Published: (2025)

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation
by: Chen, Yeheng, et al.
Published: (2026)

A Method for Assisting Novices Creating Class Diagrams Based on the Instructor's Class Layout
by: Saito, Yuta, et al.
Published: (2025)

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
by: Cao, Weining, et al.
Published: (2026)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
by: Sevenhuijsen, Merlijn, et al.
Published: (2024)

Studying LLM Performance on Closed- and Open-source Data
by: Ahmed, Toufique, et al.
Published: (2024)

Event-Driven Inconsistency Detection Between UML Class and Sequence Diagrams
by: Lazzari, Luan, et al.
Published: (2025)

JC-Finder: Detecting Java Clone-based Third-Party Library by Class-level Tree Analysis
by: Zhao, Lida, et al.
Published: (2025)

On the Use of Large Language Models for Qualitative Synthesis
by: Pizard, Sebastián, et al.
Published: (2025)

Evaluating Software Process Models for Multi-Agent Class-Level Code Generation
by: Shafin, Wasique Islam, et al.
Published: (2025)