:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Liao, Chen, Tong, Wu, Xiwei, Liu, Qi, Zhai, Xiyu, Wang, Xinqi, Cao, Qinxiang
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence
Online Access:	https://arxiv.org/abs/2603.13414
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
by: Ibrahim, Ahmed F.
Published: (2026)

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability
by: AI, Lumen, et al.
Published: (2025)

PBT-Bench: Benchmarking AI Agents on Property-Based Testing
by: Jing, Lucas, et al.
Published: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
by: Huang, Zhechong, et al.
Published: (2025)

Bridging Requirements and Architecture: Multi-Agent Orchestration with External Knowledge and Hierarchical Memory
by: Li, Ruiyin, et al.
Published: (2026)

Agentic Memory Enhanced Recursive Reasoning for Root Cause Localization in Microservices
by: Zhang, Lingzhe, et al.
Published: (2026)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
by: Misu, Md Rakib Hossain, et al.
Published: (2026)

Using LLMs in Generating Design Rationale for Software Architecture Decisions
by: Zhou, Xiyu, et al.
Published: (2025)

Towards Responsible Generative AI: A Reference Architecture for Designing Foundation Model based Agents
by: Lu, Qinghua, et al.
Published: (2023)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
by: Yu, Yunguo
Published: (2025)

Beyond Function-Level Search: Repository-Aware Dual-Encoder Code Retrieval with Adversarial Verification
by: Liu, Aofan, et al.
Published: (2025)

Unveiling Project-Specific Bias in Neural Code Models
by: Li, Zhiming, et al.
Published: (2022)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
by: Sigloch, Paul, et al.
Published: (2026)

Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
by: Le, Viet-Man, et al.
Published: (2026)

TENET: Leveraging Tests Beyond Validation for Code Generation
by: Hu, Yiran, et al.
Published: (2025)

Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams
by: Mao, Wenxin, et al.
Published: (2025)

RobuNFR: Evaluating the Robustness of Large Language Models on Non-Functional Requirements Aware Code Generation
by: Lin, Feng, et al.
Published: (2025)

LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
by: Xu, Dong, et al.
Published: (2026)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
by: Sakharova, Marina, et al.
Published: (2025)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
by: Xue, Zhiyi, et al.
Published: (2026)

A Taxonomy of Architecture Options for Foundation Model-based Agents: Analysis and Decision Model
by: Zhou, Jingwen, et al.
Published: (2024)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
by: Granberry, George, et al.
Published: (2025)

Cogito, ergo sum: A Neurobiologically-Inspired Cognition-Memory-Growth System for Code Generation
by: Li, Yanlong, et al.
Published: (2025)

Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation
by: Liu, Jiale, et al.
Published: (2026)

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
by: Lin, Yi, et al.
Published: (2026)

AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems
by: Li, Yang, et al.
Published: (2025)

Benchmarking Multimodal LLMs on Code Generation for Complex Interactive Webpages
by: Wu, Fan, et al.
Published: (2026)

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
by: Bhardwaj, Varun Pratap
Published: (2026)

Agent Design Pattern Catalogue: A Collection of Architectural Patterns for Foundation Model based Agents
by: Liu, Yue, et al.
Published: (2024)

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
by: Xu, Congying, et al.
Published: (2026)

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers
by: Yang, Donghao, et al.
Published: (2024)

Structure-Aware Corpus Construction and User-Perception-Aligned Metrics for Large-Language-Model Code Completion
by: Liu, Dengfeng, et al.
Published: (2025)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
by: Chakraborty, Madhurima, et al.
Published: (2025)

Projectional Decoding: Towards Semantic-Aware LLM Generation
by: Chen, Boqi, et al.
Published: (2026)

MAAD: Automate Software Architecture Design through Knowledge-Driven Multi-Agent Collaboration
by: Li, Ruiyin, et al.
Published: (2025)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
by: Wang, Xiaoyin, et al.
Published: (2024)