Buchumschlag

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zheng, Xi, Li, Ziyang, Ruchkin, Ivan, Piskac, Ruzica, Pajic, Miroslav
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
von: Zheng, Xi, et al.
Veröffentlicht: (2023)

Toward Neurosymbolic Program Comprehension
von: Velasco, Alejandro, et al.
Veröffentlicht: (2025)

Neurosymbolic Repo-level Code Localization
von: Xu, Xiufeng, et al.
Veröffentlicht: (2026)

Neurosymbolic Auditing of Natural-Language Software Requirements
von: Hall, Bethel, et al.
Veröffentlicht: (2026)

Agentic Harness for Real-World Compilers
von: Zheng, Yingwei, et al.
Veröffentlicht: (2026)

WybeCoder: Verified Imperative Code Generation
von: Gloeckle, Fabian, et al.
Veröffentlicht: (2026)

Natural Language Requirements Testability Measurement Based on Requirement Smells
von: Zakeri-Nasrabadi, Morteza, et al.
Veröffentlicht: (2024)

Cochise: A Reference Harness for Autonomous Penetration Testing
von: Happe, Andreas, et al.
Veröffentlicht: (2026)

Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report
von: Sengupta, Satadru, et al.
Veröffentlicht: (2026)

Key Safety Design Overview in AI-driven Autonomous Vehicles
von: Vyas, Vikas, et al.
Veröffentlicht: (2024)

Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
von: Ibrahim, Ahmed F.
Veröffentlicht: (2026)

SIEVE: Towards Verifiable Certification for Code-datasets
von: Mbodji, Fatou Ndiaye, et al.
Veröffentlicht: (2025)

MCP-Zero: Active Tool Discovery for Autonomous LLM Agents
von: Fei, Xiang, et al.
Veröffentlicht: (2025)

Enhancing SQL Query Generation with Neurosymbolic Reasoning
von: Princis, Henrijs, et al.
Veröffentlicht: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)

LLM Applications: Current Paradigms and the Next Frontier
von: Hou, Xinyi, et al.
Veröffentlicht: (2025)

Aletheia: What Makes RLVR For Code Verifiers Tick?
von: Venkatkrishna, Vatsal, et al.
Veröffentlicht: (2026)

RepoMaster: Autonomous Exploration and Understanding of GitHub Repositories for Complex Task Solving
von: Wang, Huacan, et al.
Veröffentlicht: (2025)

Stop Comparing LLM Agents Without Disclosing the Harness
von: Zhang, Yunbei, et al.
Veröffentlicht: (2026)

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks
von: Ebrahimi, Amir M., et al.
Veröffentlicht: (2026)

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
von: Li, Yikun, et al.
Veröffentlicht: (2026)

SWE-Universe: Scale Real-World Verifiable Environments to Millions
von: Chen, Mouxiang, et al.
Veröffentlicht: (2026)

OpenComputer: Verifiable Software Worlds for Computer-Use Agents
von: Wei, Jinbiao, et al.
Veröffentlicht: (2026)

Paradigm shift on Coding Productivity Using GenAI
von: Yu, Liang
Veröffentlicht: (2025)

Copilot Evaluation Harness: Evaluating LLM-Guided Software Programming
von: Agarwal, Anisha, et al.
Veröffentlicht: (2024)

Introduction to Analytical Software Engineering Design Paradigm
von: Houichime, Tarik, et al.
Veröffentlicht: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
von: Cramer, Marcos, et al.
Veröffentlicht: (2025)

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering
von: Guo, Chuanzhe, et al.
Veröffentlicht: (2026)

Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism
von: Zhang, Lingzhe, et al.
Veröffentlicht: (2026)

AgentHub: A Registry for Discoverable, Verifiable, and Reproducible AI Agents
von: Pautsch, Erik, et al.
Veröffentlicht: (2025)

New Interaction Paradigm for Complex EDA Software Leveraging GPT
von: Wang, Xinyu, et al.
Veröffentlicht: (2023)

Generative AI and Empirical Software Engineering: A Paradigm Shift
von: Treude, Christoph, et al.
Veröffentlicht: (2025)

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
von: Zhang, Yifan, et al.
Veröffentlicht: (2026)

Sibyl-AutoResearch: Autonomous Research Needs Self-Evolving Trial-and-Error Harnesses, Not Paper Generators
von: Wang, Chengcheng, et al.
Veröffentlicht: (2026)

It's Not the Size: Harness Design Determines Operational Stability in Small Language Models
von: Cho, Yong-eun
Veröffentlicht: (2026)

Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
von: Mu, Jianan, et al.
Veröffentlicht: (2025)

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

CVeDRL: An Efficient Code Verifier via Difficulty-aware Reinforcement Learning
von: Shi, Ji, et al.
Veröffentlicht: (2026)

Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
von: Jin, Haolin, et al.
Veröffentlicht: (2025)

AI Harness Engineering: A Runtime Substrate for Foundation-Model Software Agents
von: Zhong, Hailin, et al.
Veröffentlicht: (2026)