Jul 2026· International Conference on Edge Computing [Services Society]· pp. 241-247· 0 citations· 39 references
Abstract
The Agentic AI model consists of systems that can plan on their own, use tools and perform multi-step tasks. These capabilities have mainly been accomplished by large models, such as GPT-4 or Claude 3, are large language models LLMs have demonstrated skill with multi-step reasoning tasks. they have high computational requirements and increased latency. require considerable data transfer to centralized servers to them unsuitable for private, edge-based use. Open-source Small Models that implement SLMs have less than 13 billion parameters, a possible option for local execution. In agentic situations, however, these predictions are unreliable. However, they do not have a strictly defined syntax for calling tools interfaces, such as JSON schemas. They can also create other functions for long-sighted tasks exist or disappear when leading to meaningful failures.We designed a Neuro-Symbolic architecture for deterministic control layer to improve the frozen, quantized SLMs. Our proach consists of two major components: [1] a recursive "Critic-Planner" feedback loop that filters out noisy retrieval results before they affect the agent’s limited working memory. [2] At inference-time, Grammar-Constrained Decoding (GBNF) focuses on conforming to JSON schema at the logit level, enforcing syntactic correctness of tool interactions.We apply our framework to the quantized Llama-3-8B. Mistral-7B and Phi-3-mini within six domains. including technical analysis to ensure legal compliance. thesis. Our system achieved a 100% syntactic accuracy baseline correctness and completed complex tasks effectively. In contrast, strong industry standards, including LangChain ReAct, failed. to format issues.
PoTRE (Poly-Topological Reasoning Ensembles), a heterogeneous framework that decouples inference into four agents that achieves improved reasoning performance using similar or fewer inference tokens compared to heavily scaled homogeneous baselines is introduced.
: The design and specification of experiments in Model-Based Systems Engineering is challenging: state-of-the-art tools are deemed either precise, but too cumbersome or too imprecise due to natural-language descriptions that lack formal semantics. This is compounded by the high complexity of systems, especially in safety-critical domains. Large Language Models (LLMs) offer a promising avenue for automating the elicitation step, but their probabilistic nature precludes unmediated use: hallucinations cannot be allowed to propagate into formal artifacts. We propose a neuro-symbolic framework combining LLM-driven elicitation constrained by a rule-based reasoner fed by an ontology-compliant knowledge graph. A deterministic orchestrator drives an elicitation loop where the symbolic engine poses context-sensitive questions, the LLM proposes candidate answers, and every candidate is validated against formal domain constraints before acceptance. We present a proof-of-concept implementing the proposed framework and an empirical evaluation across three case studies using four state-of-the-art LLMs. Results indicate that the framework reliably prevents hallucinations from propagating into formal specifications.
Diego Ferreira, Rakshit Mittal, Lucas Lima et al.· International Conference on...· 0 citations
A novel RAIE taxonomy along four scaling dimensions is proposed, which optimizes the entire thought process through search algorithms and self-verification, and introduces a task-oriented guideline for choosing the best TTS strategy.
Jia-Yu An, Zheng Chen, Yongcheng Jing et al.· 0 citations
The results demonstrate that the synthesized skill library enables the system to transfer to novel tasks with decreasing human intervention, providing a steerable and data-efficient alternative to black-box robot learning.
Daphne Chen, A. Jain, E. Goossen et al.· arXiv.org· 0 citations
This work proposes a novel neuro-symbolic fast-slow thinking (NeSyFS) framework for LLM agent, addressing the challenges introduced by partial observability in a unified approach, and uses a knowledge graph to represent the belief state.
This research presents an autonomous AI Coding Agent which establishes a connection between LLM-generated content and production-ready software through its organized methodology for decision making through its tailored Monte Carlo Tree Search method.
Pravin Game, V. Ramakrishnan, Prathamesh Wagh· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.