English
Related papers

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

200 papers

Understanding human intent is a complex, high-level task for large language models (LLMs), requiring analytical reasoning, contextual interpretation, dynamic information aggregation, and decision-making under uncertainty. Real-world public…

Computation and Language · Computer Science 2025-10-21 Xiaozhe Li , TianYi Lyu , Siyi Yang , Yuxi Gong , Yizhao Yang , Jinxuan Huang , Ligao Zhang , Zhuoyi Huang , Qingwen Liu

Human-robot collaboration requires robots to quickly infer user intent, provide transparent reasoning, and assist users in achieving their goals. Our recent work introduced GUIDER, our framework for inferring navigation and manipulation…

Robotics · Computer Science 2025-08-18 Cesar Alan Contreras , Manolis Chiou , Alireza Rastegarpanah , Michal Szulik , Rustam Stolkin

Large language models (LLMs), inspired by neuroscience, exhibit behaviors that often evoke a sense of personality and intelligence-yet the mechanisms behind these effects remain elusive. Here, we operationalize Conceptual Blending Theory…

Computation and Language · Computer Science 2025-05-19 Makoto Sato

The existing image manipulation localization (IML) models mainly relies on visual cues, but ignores the semantic logical relationships between content features. In fact, the content semantics conveyed by real images often conform to human…

Computer Vision and Pattern Recognition · Computer Science 2025-10-08 Songlin Li , Zhiqing Guo , Yuanman Li , Zeyu Li , Yunfeng Diao , Gaobo Yang , Liejun Wang

Large Language Models (LLMs) excel at general code generation, yet translating natural-language trading intents into correct option strategies remains challenging. Real-world option design requires reasoning over massive, multi-dimensional…

Artificial Intelligence · Computer Science 2026-03-18 Haochen Luo , Zhengzhao Lai , Junjie Xu , Yifan Li , Tang Pok Hin , Yuan Zhang , Chen Liu

Structured reasoning over natural language inputs remains a core challenge in artificial intelligence, as it requires bridging the gap between unstructured linguistic expressions and formal logical representations. In this paper, we propose…

Artificial Intelligence · Computer Science 2025-07-14 Keying Yang , Hao Wang , Kai Yang

Vision-and-Language Navigation (VLN) requires an embodied agent to ground complex natural-language instructions into long-horizon navigation in unseen environments. While Vision-Language Models (VLMs) offer strong 2D semantic understanding,…

Robotics · Computer Science 2026-03-19 Zihao Xin , Wentong Li , Yixuan Jiang , Ziyuan Huang , Bin Wang , Piji Li , Jianke Zhu , Jie Qin , Shengjun Huang

Text-to-image generation has evolved beyond single monolithic models to complex multi-component pipelines. These combine fine-tuned generators, adapters, upscaling blocks and even editing steps, leading to significant improvements in image…

Computer Vision and Pattern Recognition · Computer Science 2025-11-04 Uri Gadot , Rinon Gal , Yftah Ziser , Gal Chechik , Shie Mannor

Large Language Models (LLMs) have emerged as transformative tools for natural language understanding and user intent resolution, enabling tasks such as translation, summarization, and, increasingly, the orchestration of complex workflows.…

Software Engineering · Computer Science 2025-11-12 Justus Flerlage , Alexander Acker , Odej Kao

Wireframing is a critical step in the UI design process. Mid-fidelity wireframes offer more impactful and engaging visuals compared to low-fidelity versions. However, their creation can be time-consuming and labor-intensive, requiring the…

Human-Computer Interaction · Computer Science 2023-12-14 Sidong Feng , Mingyue Yuan , Jieshan Chen , Zhenchang Xing , Chunyang Chen

Large language models (LLMs) often struggle with complex mathematical tasks, prone to "hallucinating" incorrect answers due to their reliance on statistical patterns. This limitation is further amplified in average Small LangSLMs with…

Intent-based recommender systems have garnered significant attention for uncovering latent fine-grained preferences. Intents, as underlying factors of interactions, are crucial for improving recommendation interpretability. Most methods…

Information Retrieval · Computer Science 2025-04-10 Yu Wang , Lei Sang , Yi Zhang , Yiwen Zhang

In facing with the explosive Internet traffic growth, optical transport networks based on WDM technologies forming the core part of Internet infrastructure carrying multi-Tb/s has to be re-considered from both designing, planning, operation…

Networking and Internet Architecture · Computer Science 2021-05-19 Dao Thanh Hai , Le Anh Ngoc

Vision-Language Navigation (VLN) is evolving from single-point pathfinding toward the more challenging Multi-Goal VLN. This task requires agents to accurately identify multiple entities while collaboratively reasoning over their…

Artificial Intelligence · Computer Science 2026-03-05 Ling Luo , Qiangian Bai

Composed Image Retrieval (CIR) aims to retrieve target images from candidate set using a hybrid-modality query consisting of a reference image and a relative caption that describes the user intent. Recent studies attempt to utilize…

Information Retrieval · Computer Science 2024-12-17 Zelong Sun , Dong Jing , Guoxing Yang , Nanyi Fei , Zhiwu Lu

Communication network engineering in enterprise environments is traditionally a complex, time-consuming, and error-prone manual process. Most research on network engineering automation has concentrated on configuration synthesis, often…

Networking and Internet Architecture · Computer Science 2025-08-27 Beni Ifland , Elad Duani , Rubin Krief , Miro Ohana , Aviram Zilberman , Andres Murillo , Ofir Manor , Ortal Lavi , Hikichi Kenji , Asaf Shabtai , Yuval Elovici , Rami Puzis

Intent detection and slot filling are two main tasks for building a spoken language understanding(SLU) system. Multiple deep learning based models have demonstrated good results on these tasks . The most effective algorithms are based on…

Computation and Language · Computer Science 2018-12-27 Yu Wang , Yilin Shen , Hongxia Jin

Capitalizing on the remarkable advancements in Large Language Models (LLMs), there is a burgeoning initiative to harness LLMs for instruction following robotic navigation. Such a trend underscores the potential of LLMs to generalize…

Computer Vision and Pattern Recognition · Computer Science 2024-09-23 Gengze Zhou , Yicong Hong , Zun Wang , Xin Eric Wang , Qi Wu

As modern networks grow in scale and complexity, manual configuration becomes increasingly inefficient and prone to human error. While intent-driven self-configuration using large language models has shown significant promise, such models…

Networking and Internet Architecture · Computer Science 2025-12-03 Oscar G. Lira , Oscar M. Caicedo , Nelson L. S. Da Fonseca

A line of work in planning uses LLM not to generate a plan, but to generate a formal representation in some planning language, which can be input into a symbolic solver to deterministically find a plan. While showing improved trust and…

Computation and Language · Computer Science 2025-10-08 Prabhu Prakash Kagitha , Bo Sun , Ishan Desai , Andrew Zhu , Cassie Huang , Manling Li , Ziyang Li , Li Zhang
‹ Prev 1 4 5 6 7 8 10 Next ›