Image de couverture de livre

PAT-Agent: Autoformalization for Model Checking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zuo, Xinyue, Zhang, Yifan, Wang, Hongshu, Cai, Yufan, Hou, Zhe, Sun, Jing, Dong, Jin Song
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
par: Wang, Hongshu, 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)

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
par: Pei, Yunrui, et autres
Publié: (2025)

MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
par: Zhao, Zixiao, et autres
Publié: (2024)

Agentic Model Checking
par: Sun, Youcheng, et autres
Publié: (2026)

Towards Large Language Model Aided Program Refinement
par: Cai, Yufan, et autres
Publié: (2024)

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
par: Hui, Mingxuan, et autres
Publié: (2026)

CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
par: Liu, Chenyan, et autres
Publié: (2024)

Self-Organizing Multi-Agent Systems for Continuous Software Development
par: Lyu, Wenhan, et autres
Publié: (2026)

Large Language Model-Driven Code Compliance Checking in Building Information Modeling
par: Madireddy, Soumya, et autres
Publié: (2025)

ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation
par: Dong, Jinhao, et autres
Publié: (2024)

Talk Less, Verify More: Improving LLM Assistants with Semantic Checks and Execution Feedback
par: Sun, Yan, et autres
Publié: (2026)

Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles
par: Wei, Ran, et autres
Publié: (2024)

Debug2Fix: Can Interactive Debugging Help Coding Agents Fix More Bugs?
par: Garg, Spandan, et autres
Publié: (2026)

SWE-Bench Mobile: Can Large Language Model Agents Develop Industry-Level Mobile Applications?
par: Tian, Muxin, et autres
Publié: (2026)

A Case Study on Model Checking and Runtime Verification for Awkernel
par: Hasegawa, Akira, et autres
Publié: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
par: Ribeiro, Ana, et autres
Publié: (2026)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
par: Kräuter, Tim, et autres
Publié: (2024)

AgentDroid: A Multi-Agent Framework for Detecting Fraudulent Android Applications
par: Pan, Ruwei, et autres
Publié: (2025)

Software Testing with Large Language Models: Survey, Landscape, and Vision
par: Wang, Junjie, et autres
Publié: (2023)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
par: Beyer, Dirk, et autres
Publié: (2024)

Saving SWE-Bench: A Benchmark Mutation Approach for Realistic Agent Evaluation
par: Garg, Spandan, et autres
Publié: (2025)

SceneGenAgent: Precise Industrial Scene Generation with Coding Agent
par: Xia, Xiao, et autres
Publié: (2024)

Model-Checking the Implementation of Consent
par: Pardo, Raúl, et autres
Publié: (2024)

WEFix: Intelligent Automatic Generation of Explicit Waits for Efficient Web End-to-End Flaky Tests
par: Liu, Xinyue, et autres
Publié: (2024)

A Task Taxonomy for Conformance Checking
par: Rehse, Jana-Rebecca, et autres
Publié: (2025)

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
par: Läufer, Konstantin, et autres
Publié: (2024)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
par: Zhang, Jango
Publié: (2024)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
par: Zhang, Kechi, et autres
Publié: (2024)

MARE: Multi-Agents Collaboration Framework for Requirements Engineering
par: Jin, Dongming, et autres
Publié: (2024)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
par: AlSobeh, Anas
Publié: (2024)

AutoCheck: Automatically Identifying Variables for Checkpointing by Data Dependency Analysis
par: Fu, Xiang, et autres
Publié: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
par: Harie, Yojiro, et autres
Publié: (2024)

PAGENT: Learning to Patch Software Engineering Agents
par: Xue, Haoran, et autres
Publié: (2025)

Changes in Coding Behavior and Performance Since the Introduction of LLMs
par: Zhang, Yufan, et autres
Publié: (2026)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
par: Feng, Nick, et autres
Publié: (2024)

VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
par: Wang, Ziliang, et autres
Publié: (2025)

Humans Integrate, Agents Fix: How Agent-Authored Pull Requests Are Referenced in Practice
par: Khemissi, Islem, et autres
Publié: (2026)

Computational Thinking Reasoning in Large Language Models
par: Zhang, Kechi, et autres
Publié: (2025)

Knowledge-Guided Multi-Agent Framework for Application-Level Software Code Generation
par: Xiong, Qian, et autres
Publié: (2025)