English
Related papers

Related papers: Bridging Language Models and Formal Methods for In…

200 papers

Large Language Models (LLMs) have shown promise in solving natural language-described planning tasks, but their direct use often leads to inconsistent reasoning and hallucination. While hybrid LLM-symbolic planning pipelines have emerged as…

Artificial Intelligence · Computer Science 2024-09-25 Sukai Huang , Nir Lipovetzky , Trevor Cohn

The growing complexity of networks and the variety of future scenarios with diverse and often stringent performance requirements call for a higher level of automation. Intent-based management emerges as a solution to attain high level of…

Networking and Internet Architecture · Computer Science 2024-07-26 Erciyes Karakaya , Ozgur Ercetin , Huseyin Ozkan , Mehmet Karaca , Elham Dehghan Biyar , Alexandros Palaios

Recent advances in RAG have shifted toward an agentic paradigm, where LLMs interact with retrieval systems over multiple turns and iteratively refine queries based on intermediate results. At the same time, LLMs have demonstrated a strong…

Information Retrieval · Computer Science 2026-05-27 Yuqi Zeng , Qixiang Deng , Yulei Wan , Ruiquan Jiang , Xiaoqing Zheng , Xuanjing Huang

Being able to recognize words as slots and detect the intent of an utterance has been a keen issue in natural language understanding. The existing works either treat slot filling and intent detection separately in a pipeline manner, or…

Computation and Language · Computer Science 2019-07-09 Chenwei Zhang , Yaliang Li , Nan Du , Wei Fan , Philip S. Yu

The future networks pose intense demands for intelligent and customized designs to cope with the surging network scale, dynamically time-varying environments, diverse user requirements, and complicated manual configuration. However,…

Networking and Internet Architecture · Computer Science 2023-08-01 Yudong Huang , Minrui Xu , Xinyuan Zhang , Dusit Niyato , Zehui Xiong , Shuo Wang , Tao Huang

The networking field is characterized by its high complexity and rapid iteration, requiring extensive expertise to accomplish network tasks, ranging from network design, configuration, diagnosis and security. The inherent complexity of…

Networking and Internet Architecture · Computer Science 2024-04-30 Chang Liu , Xiaohui Xie , Xinggong Zhang , Yong Cui

Intent recognition aims to identify users' underlying intentions, traditionally focusing on text in natural language processing. With growing demands for natural human-computer interaction, the field has evolved through deep learning and…

Computation and Language · Computer Science 2025-08-01 Jingwei Zhao , Yuhua Wen , Qifei Li , Minchi Hu , Yingying Zhou , Jingyao Xue , Junyang Wu , Yingming Gao , Zhengqi Wen , Jianhua Tao , Ya Li

Code translation, the automatic conversion of programs between languages, is a growing use case for Large Language Models (LLMs). However, direct one-shot translation often fails to preserve program intent, leading to errors in control…

Software Engineering · Computer Science 2026-02-19 Shahriar Rumi Dipto , Saikat Mondal , Chanchal K. Roy

Retrieval-augmented generation (RAG) has emerged as a promising paradigm for improving factual accuracy in large language models (LLMs). We introduce a benchmark designed to evaluate RAG pipelines as a whole, evaluating a pipeline's ability…

Artificial Intelligence · Computer Science 2026-05-25 Samuel Hildebrand , Curtis Taylor , Sean Oesch , James M Ghawaly , Amir Sadovnik , Ryan Shivers , Brandon Schreiber , Kevin Kurian

The advancement of text-to-image synthesis has introduced powerful generative models capable of creating realistic images from textual prompts. However, precise control over image attributes remains challenging, especially at the instance…

Computer Vision and Pattern Recognition · Computer Science 2025-01-27 Andrey Palaev , Adil Khan , Syed M. Ahsan Kazmi

Efficient indoor wireless network (IWN) planning is crucial for providing high-quality 5G in-building services. However, traditional meta-heuristic and artificial intelligence-based planning methods face significant challenges due to the…

Networking and Internet Architecture · Computer Science 2025-07-28 Jinbo Hou , Stefanos Bakirtzis , Kehai Qiu , Sichong Liao , Hui Song , Haonan Hu , Kezhi Wang , Jie Zhang

The recent development of Agentic AI systems, empowered by autonomous large language models (LLMs) agents with planning and tool-usage capabilities, enables new possibilities for the evolution of industrial automation and reduces the…

Machine Learning · Computer Science 2026-01-07 Marcos Lima Romero , Ricardo Suyama

This paper addresses the problem of planning complex manipulation tasks, in which multiple robots with different end-effectors and capabilities, informed by computer vision, must plan and execute concatenated sequences of actions on a…

Robotics · Computer Science 2025-10-21 Cansu Erdogan , Cesar Alan Contreras , Alireza Rastegarpanah , Manolis Chiou , Rustam Stolkin

Human mobility prediction is essential for applications like urban planning and transportation management, yet it remains challenging due to the complex, often implicit, intentions behind human behavior. Existing models predominantly focus…

Computation and Language · Computer Science 2024-08-26 Songwei Li , Jie Feng , Jiawei Chi , Xinyuan Hu , Xiaomeng Zhao , Fengli Xu

Existing storage systems lack visibility into workload intent, limiting their ability to adapt to the semantics of modern, large-scale data-intensive applications. This disconnect leads to brittle heuristics and fragmented, siloed…

Hardware Architecture · Computer Science 2025-10-21 Shai Bergman , Won Wook Song , Lukas Cavigelli , Konstantin Berestizshevsky , Ke Zhou , Ji Zhang

As a long-term vision in the field of artificial intelligence, the core goal of embodied intelligence is to improve the perception, understanding, and interaction capabilities of agents and the environment. Vision-language navigation (VLN),…

Robotics · Computer Science 2024-03-21 Peng Gao , Peng Wang , Feng Gao , Fei Wang , Ruyue Yuan

The convergence of Large Language Models (LLMs) and Internet of Things (IoT) networks open new opportunities for building intelligent, responsive, and user-friendly systems. This work presents an edge-centric framework that integrates LLMs…

Networking and Internet Architecture · Computer Science 2025-07-25 Alakesh Kalita

As network systems evolve, there is an escalating demand for automated tools to facilitate efficient management and configuration. This paper explores conflict resolution in Intent-Based Network (IBN) management, an innovative approach that…

Networking and Internet Architecture · Computer Science 2024-01-17 Idris Cinmere , Kashif Mehmood , Katina Kralevska , Toktam Mahmoodi

Retrieval Augmented Generation (RAG) frameworks have shown significant promise in leveraging external knowledge to enhance the performance of large language models (LLMs). However, conventional RAG methods often retrieve documents based…

Computation and Language · Computer Science 2025-04-02 Pouya Pezeshkpour , Estevam Hruschka

Vision-and-Language Navigation (VLN) presents a complex challenge in embodied AI, requiring agents to interpret natural language instructions and navigate through visually rich, unfamiliar environments. Recent advances in large…

Robotics · Computer Science 2025-06-13 Yicheng Duan , Kaiyu tang