English
Related papers

Related papers: LEGOS-SLEEC: Tool for Formalizing and Analyzing No…

200 papers

In the rapidly evolving field of artificial intelligence, large language models (LLMs) have emerged as powerful tools for a myriad of applications, from natural language processing to decision-making support systems. However, as these…

Computation and Language · Computer Science 2025-07-08 Jianchao Ji , Yutong Chen , Mingyu Jin , Wujiang Xu , Wenyue Hua , Yongfeng Zhang

Legal consultation is essential for safeguarding individual rights and ensuring access to justice, yet remains costly and inaccessible to many individuals due to the shortage of professionals. While recent advances in Large Language Models…

Computation and Language · Computer Science 2025-10-24 Weikang Yuan , Kaisong Song , Zhuoren Jiang , Junjie Cao , Yujie Zhang , Jun Lin , Kun Kuang , Ji Zhang , Xiaozhong Liu

We propose a novel approach to multi-robot collaboration that harnesses the power of pre-trained large language models (LLMs) for both high-level communication and low-level path planning. Robots are equipped with LLMs to discuss and…

Robotics · Computer Science 2023-07-11 Zhao Mandi , Shreeya Jain , Shuran Song

Empathetic dialogue requires not only recognizing a user's emotional state but also making strategy-aware, context-sensitive decisions throughout response generation. However, the lack of a comprehensive empathy strategy framework, explicit…

Computation and Language · Computer Science 2026-04-21 Hongru Ji , Yuyin Fan , Meng Zhao , Xianghua Li , Lianwei Wu , Chao Gao

Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decision-making processes must be explicitly captured. These…

Programming Languages · Computer Science 2025-12-19 Anastasia Mavridou , Marie Farrell , Gricel Vázquez , Tom Pressburger , Timothy E. Wang , Radu Calinescu , Michael Fisher

Ethical awareness is critical for robots operating in human environments, yet existing automated planning tools provide little support. Manually specifying ethical rules is labour-intensive and highly context-specific. We present…

Artificial Intelligence · Computer Science 2025-12-10 Tammy Zhong , Yang Song , Maurice Pagnucco

This paper presents the SLEGO (Software-Lego) system, a collaborative analytics platform that bridges the gap between experienced developers and novice users using a cloud-based platform with modular, reusable microservices. These…

Software Engineering · Computer Science 2024-12-10 Siu Lung Ng , Hirad Baradaran Rezaei , Fethi Rabhi

The emergence of Large Language Models (LLMs) presents transformative opportunities for education, generating numerous novel application scenarios. However, significant challenges remain: evaluation metrics vary substantially across…

Computers and Society · Computer Science 2025-08-01 Shou'ang Wei , Xinyun Wang , Shuzhen Bi , Jian Chen , Ruijia Li , Bo Jiang , Xin Lin , Min Zhang , Yu Song , BingDong Li , Aimin Zhou , Hao Hao

This paper addresses the challenge of operationalizing ethics in autonomous systems through runtime enforcement. It first conceptualizes the system's ethical space and outlines a structured ethics assurance process. Building on this…

Software Engineering · Computer Science 2026-04-07 Martina De Sanctis , Gianluca Filippone , Paola Inverardi , Raffaela Mirandola , Sara Pettinari , Patrizia Scandurra

Sequential structure is a key feature of multiple domains of natural cognition and behavior, such as language, movement and decision-making. Likewise, it is also a central property of tasks to which we would like to apply artificial…

Neurons and Cognition · Quantitative Biology 2026-01-01 Barna Zajzon , Younes Bouhadjar , Maxime Fabre , Felix Schmidt , Noah Ostendorf , Emre Neftci , Abigail Morrison , Renato Duarte

Norms are an important component of the social fabric of society by prescribing expected behaviour. In Multi-Agent Systems (MAS), agents interacting within a society are equipped to possess social capabilities such as reasoning about norms…

Multiagent Systems · Computer Science 2024-10-15 Shawn He , Surangika Ranathunga , Stephen Cranefield , Bastin Tony Roy Savarimuthu

The rapid advancement of artificial intelligence is enabling the development of increasingly autonomous robots capable of operating beyond engineered factory settings and into the unstructured environments of human life. This shift raises a…

As LLM-based agents increasingly operate in high-stakes domains with real-world consequences, ensuring their behavioral safety becomes paramount. The dominant oversight paradigm, LLM-as-a-Judge, faces a fundamental dilemma: how can…

Artificial Intelligence · Computer Science 2026-02-13 Jiayi Zhou , Yang Sheng , Hantao Lou , Yaodong Yang , Jie Fu

AI tools to support real world decision making must be able to build simulation models that inform their recommendations and render them interpretable. Tools that can automate aspects of modeling practice must complement human expertise,…

Artificial Intelligence · Computer Science 2026-05-29 Sara Metcalf , William Schoenberg

Recent large language models (LLMs) have demonstrated promising capabilities in modeling real-world knowledge and enhancing knowledge-based generation tasks. In this paper, we further explore the potential of using LLMs to aid in the design…

Robotics · Computer Science 2024-11-04 Weicheng Ma , Luyang Zhao , Chun-Yi She , Yitao Jiang , Alan Sun , Bo Zhu , Devin Balkcom , Soroush Vosoughi

More than half of the global population struggles to meet their civil justice needs due to limited legal resources. While Large Language Models (LLMs) have demonstrated impressive reasoning capabilities, significant challenges remain even…

Computation and Language · Computer Science 2026-04-22 Fanyu Wang , Xiaoxi Kang , Paul Burgess , Aashish Srivastava , Chetan Arora , Adnan Trakic , Lay-Ki Soon , Md Khalid Hossain , Lizhen Qu

As Large Language Models (LLMs) are increasingly deployed as task-oriented agents in enterprise environments, ensuring their strict adherence to complex, domain-specific operational guidelines is critical. While utilizing an LLM-as-a-Judge…

Computation and Language · Computer Science 2026-04-15 Jingbo Yang , Guanyu Yao , Bairu Hou , Xinghan Yang , Nikolai Glushnev , Iwona Bialynicka-Birula , Duo Ding , Shiyu Chang

With the rapid development of large language models (LLM), the evaluation of LLM becomes increasingly important. Measuring text generation tasks such as summarization and article creation is very difficult. Especially in specific…

Computation and Language · Computer Science 2025-09-25 Kaiqi Zhang , Shuai Yuan , Honghan Zhao

In Multi-Agent Systems (MAS), agents are designed with social capabilities, allowing them to understand and reason about social concepts such as norms when interacting with others (e.g., inter-robot interactions). In Normative MAS (NorMAS),…

Multiagent Systems · Computer Science 2026-03-05 Oishik Chowdhury , Anushka Debnath , Bastin Tony Roy Savarimuthu

Multimodal systems, which process multiple input types such as text, audio, and images, are becoming increasingly prevalent in software systems, enabled by the huge advancements in Machine Learning. This triggers the need to easily define…

Software Engineering · Computer Science 2025-08-21 Marcos Gomez-Vazquez , Jordi Cabot