Copertina

Nidus: Externalized Reasoning for AI-Assisted Engineering

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Gorinevski, Danil
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Logic in Computer Science Multiagent Systems D.2.4; D.2.1; I.2.11
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
di: Zietsman, Christo
Pubblicazione: (2026)

Ontology-Constrained Neural Reasoning in Enterprise Agentic Systems: A Neurosymbolic Architecture for Domain-Grounded AI Agents
di: Tuan, Thanh Luong, et al.
Pubblicazione: (2026)

AI-Assisted Engineering Should Track the Epistemic Status and Temporal Validity of Architectural Decisions
di: Gilda, Sankalp, et al.
Pubblicazione: (2026)

AgentSpawn: Adaptive Multi-Agent Collaboration Through Dynamic Spawning for Long-Horizon Code Generation
di: Costa, Igor
Pubblicazione: (2026)

Monitoring Agentic Systems Before They're Reliable
di: Boston, Marisa Ferrara, et al.
Pubblicazione: (2026)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
di: Yusuf, Hadiza Umar, et al.
Pubblicazione: (2025)

Bounded Autonomy for Enterprise AI: Typed Action Contracts and Consumer-Side Execution
di: Sohail, Sarmad, et al.
Pubblicazione: (2026)

SLEGO: A Collaborative Data Analytics System with LLM Recommender for Diverse Users
di: Ng, Siu Lung, et al.
Pubblicazione: (2024)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
di: Calboreanu, Elias
Pubblicazione: (2026)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

Automated structural testing of LLM-based agents: methods, framework, and case studies
di: Kohl, Jens, et al.
Pubblicazione: (2026)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
di: Rehan, Tzafrir
Pubblicazione: (2026)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
di: Moreira, Jasmine
Pubblicazione: (2026)

Comparing State-Representations for DEL Model Checking
di: Behnke, Gregor, et al.
Pubblicazione: (2025)

Context Engineering: From Prompts to Corporate Multi-Agent Architecture
di: Vishnyakova, Vera V.
Pubblicazione: (2026)

Multi-Agent LLM Orchestration Achieves Deterministic, High-Quality Decision Support for Incident Response
di: Drammeh, Philip
Pubblicazione: (2025)

Toward Causal-Visual Programming: Enhancing Agentic Reasoning in Low-Code Environments
di: Xu, Jiexi, et al.
Pubblicazione: (2025)

Knowledge Equivalence in Digital Twins of Intelligent Systems
di: Zhang, Nan, et al.
Pubblicazione: (2022)

Agentic Business Process Management: Practitioner Perspectives on Agent Governance in Business Processes
di: Vu, Hoang, et al.
Pubblicazione: (2025)

Toolsuite for Implementing Multiagent Systems Based on Communication Protocols
di: Chopra, Amit K., et al.
Pubblicazione: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
di: Kadaboina, Ravi Kiran
Pubblicazione: (2026)

Federated Learning and AI Regulation in the European Union: Who is Responsible? -- An Interdisciplinary Analysis
di: Woisetschläger, Herbert, et al.
Pubblicazione: (2024)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
di: Su, Jie, et al.
Pubblicazione: (2025)

ChargingBoul: A Competitive Negotiating Agent with Novel Opponent Modeling
di: Shymanski, Joe
Pubblicazione: (2025)

PRIMA: Operational Patterns for Resilient Multi-Agent Research with Verifiable Identity and Convergent Feedback
di: Annapureddy, Sasank
Pubblicazione: (2026)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
di: Dalugoda, Asiri
Pubblicazione: (2026)

ClawVM: Harness-Managed Virtual Memory for Stateful Tool-Using LLM Agents
di: Rafique, Mofasshara, et al.
Pubblicazione: (2026)

Semantic Consensus: Process-Aware Conflict Detection and Resolution for Enterprise Multi-Agent LLM Systems
di: Acharya, Vivek
Pubblicazione: (2026)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
di: Mavračić, Juraj
Pubblicazione: (2025)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
di: Untila, Octavian
Pubblicazione: (2026)

Tool Forge: A Validation-Carrying Toolchain for Governed Agentic Execution
di: Rao, Swanand
Pubblicazione: (2026)

A Language for Describing Agentic LLM Contexts
di: Pelc, Noga Peleg, et al.
Pubblicazione: (2026)

Morescient GAI for Software Engineering (Extended Version)
di: Kessel, Marcus, et al.
Pubblicazione: (2024)

HECATE: An ECS-based Framework for Teaching and Developing Multi-Agent Systems
di: Casals, Arthur, et al.
Pubblicazione: (2025)

N-Version Assessment and Enhancement of Generative AI
di: Kessel, Marcus, et al.
Pubblicazione: (2024)

Retrieval-Conditioned Topology Selection with Provable Budget Conservation for Multi-Agent Code Generation
di: Talluri, Abhijit, et al.
Pubblicazione: (2026)

AI Agentic workflows and Enterprise APIs: Adapting API architectures for the age of AI agents
di: Tupe, Vaibhav, et al.
Pubblicazione: (2025)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
di: Pohle, Clemens
Pubblicazione: (2026)

PRISM-Consult: A Panel-of-Experts Architecture for Clinician-Aligned Diagnosis
di: Levine, Lionel, et al.
Pubblicazione: (2025)

Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
di: Ge, Yu, et al.
Pubblicazione: (2025)