Copertina

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Liao, Chen, Tong, Wu, Xiwei, Liu, Qi, Zhai, Xiyu, Wang, Xinqi, Cao, Qinxiang
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ProxyWar: Dynamic Assessment of LLM Code Generation in Game Arenas
di: Peng, Wenjun, et al.
Pubblicazione: (2026)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2025)

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

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
di: Patil, Minal Suresh, et al.
Pubblicazione: (2024)

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

Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
di: Liu, Fang, et al.
Pubblicazione: (2024)