Buchumschlag

A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Leoveanu-Condrei, Claudiu
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence I.2.7; I.2.2; I.1.2; D.1.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

EyeLayer: Integrating Human Attention Patterns into LLM-Based Code Summarization
von: Zhang, Jiahao, et al.
Veröffentlicht: (2026)

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
von: Petrovic, Nenad, et al.
Veröffentlicht: (2024)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
von: Lebioda, Krzysztof, et al.
Veröffentlicht: (2024)

Survey Transfer Learning: Recycling Data with Silicon Responses
von: Amini, Ali
Veröffentlicht: (2025)

Deciphering Digital Detectives: Understanding LLM Behaviors and Capabilities in Multi-Agent Mystery Games
von: Wu, Dekun, et al.
Veröffentlicht: (2023)

AI-generated stories favour stability over change: homogeneity and cultural stereotyping in narratives generated by gpt-4o-mini
von: Rettberg, Jill Walker, et al.
Veröffentlicht: (2025)

CortexCompile: Harnessing Cortical-Inspired Architectures for Enhanced Multi-Agent NLP Code Synthesis
von: Ramachandran, Gautham, et al.
Veröffentlicht: (2024)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
von: Kessel, Marcus
Veröffentlicht: (2024)

N-Version Assessment and Enhancement of Generative AI
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Morescient GAI for Software Engineering (Extended Version)
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Inside the Scaffold: A Source-Code Taxonomy of Coding Agent Architectures
von: Rombaut, Benjamin
Veröffentlicht: (2026)

LLM Performance Predictors: Learning When to Escalate in Hybrid Human-AI Moderation Systems
von: Bachar, Or, et al.
Veröffentlicht: (2026)

Vibe-Creation: The Epistemology of Human-AI Emergent Cognition
von: Levin, Ilya
Veröffentlicht: (2026)

A Domain-Agnostic Neurosymbolic Approach for Big Social Data Analysis: Evaluating Mental Health Sentiment on Social Media during COVID-19
von: Khandelwal, Vedant, et al.
Veröffentlicht: (2024)

Semantic Commit: Helping Users Update Intent Specifications for AI Memory at Scale
von: Vaithilingam, Priyan, et al.
Veröffentlicht: (2025)

Correspondence of high-dimensional emotion structures elicited by video clips between humans and Multimodal LLMs
von: Asanuma, Haruka, et al.
Veröffentlicht: (2025)

Active Context Compression: Autonomous Memory Management in LLM Agents
von: Verma, Nikhil
Veröffentlicht: (2026)

Toward Architecture-Aware Evaluation Metrics for LLM Agents
von: Souza, Débora, et al.
Veröffentlicht: (2026)

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
von: Lee, Christine, et al.
Veröffentlicht: (2025)

Addressing Data Leakage in HumanEval Using Combinatorial Test Design
von: Bradbury, Jeremy S., et al.
Veröffentlicht: (2024)

Classification of descriptions and summary using multiple passes of statistical and natural language toolkits
von: Banthia, Saumya, et al.
Veröffentlicht: (2020)

Social Learning through Interactions with Other Agents: A Survey
von: Hillier, Dylan, et al.
Veröffentlicht: (2024)

LLMs Aren't Human: A Critical Perspective on LLM Personality
von: Zierahn, Kim, et al.
Veröffentlicht: (2026)

Solve it with EASE
von: Viktorin, Adam, et al.
Veröffentlicht: (2025)

ContextBench: A Benchmark for Context Retrieval in Coding Agents
von: Li, Han, et al.
Veröffentlicht: (2026)

Tversky Neural Networks: Psychologically Plausible Deep Learning with Differentiable Tversky Similarity
von: Doumbouya, Moussa Koulako Bala, et al.
Veröffentlicht: (2025)

BudgetMLAgent: A Cost-Effective LLM Multi-Agent system for Automating Machine Learning Tasks
von: Gandhi, Shubham, et al.
Veröffentlicht: (2024)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
von: Kessel, Marcus
Veröffentlicht: (2025)

TaylorShift: Shifting the Complexity of Self-Attention from Squared to Linear (and Back) using Taylor-Softmax
von: Nauen, Tobias Christian, et al.
Veröffentlicht: (2024)

Measure what Matters: Psychometric Evaluation of AI with Situational Judgment Tests
von: Yost, Alexandra, et al.
Veröffentlicht: (2025)

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation
von: Trooskens, Geert, et al.
Veröffentlicht: (2026)

Evaluating the efficacy of LLM Safety Solutions : The Palit Benchmark Dataset
von: Palit, Sayon, et al.
Veröffentlicht: (2025)

Gyan: An Explainable Neuro-Symbolic Language Model
von: Srinivasan, Venkat, et al.
Veröffentlicht: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
von: Ranasinghe, Nishath Rajiv, et al.
Veröffentlicht: (2025)

Holistic Audit Dataset Generation for LLM Unlearning via Knowledge Graph Traversal and Redundancy Removal
von: Jiang, Weipeng, et al.
Veröffentlicht: (2025)

Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning
von: Puccioni, Laura, et al.
Veröffentlicht: (2025)

Automating Domain-Driven Design: Experience with a Prompting Framework
von: Eisenreich, Tobias, et al.
Veröffentlicht: (2026)

Automating the Deep Space Network Data Systems; A Case Study in Adaptive Anomaly Detection through Agentic AI
von: Chou, Evan J., et al.
Veröffentlicht: (2025)

STLLM-DF: A Spatial-Temporal Large Language Model with Diffusion for Enhanced Multi-Mode Traffic System Forecasting
von: Shao, Zhiqi, et al.
Veröffentlicht: (2024)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
von: Wang, Changjie, et al.
Veröffentlicht: (2025)