English
Related papers

Related papers: Human-in-the-Loop Schema Induction

200 papers

Network representation learning has exploded recently. However, existing studies usually reconstruct networks as sequences or matrices, which may cause information bias or sparsity problem during model training. Inspired by a cognitive…

Machine Learning · Computer Science 2019-10-01 Jie Bai , Linjing Li , Daniel Zeng

We demonstrate that, through appropriate prompting, GPT-3 family of models can be triggered to perform iterative behaviours necessary to execute (rather than just write or recall) programs that involve loops, including several popular…

Computation and Language · Computer Science 2023-03-28 Ana Jojic , Zhen Wang , Nebojsa Jojic

The vast amounts of data used in social, business or traffic networks, biology and other natural sciences are often managed in graph-based data sets, consisting of a few thousand up to billions and trillions of vertices and edges,…

Databases · Computer Science 2021-10-22 Matthias Hauck , Ismail Oukid , Holger Fröning

Story generation is a task that aims to automatically produce multiple sentences to make up a meaningful story. This task is challenging because it requires high-level understanding of semantic meaning of sentences and causality of story…

Computation and Language · Computer Science 2021-02-08 Hong Chen , Raphael Shu , Hiroya Takamura , Hideki Nakayama

With ChatGPT's release, conversational prompting has become the most popular form of human-LLM interaction. However, its effectiveness is limited for more complex tasks involving reasoning, creativity, and iteration. Through a systematic…

Human-Computer Interaction · Computer Science 2024-04-02 Jie Gao , Simret Araya Gebreegziabher , Kenny Tsu Wei Choo , Toby Jia-Jun Li , Simon Tangi Perrault , Thomas W. Malone

Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires…

Logic in Computer Science · Computer Science 2021-07-19 Johannes Schoisswohl , Laura Kovács

We consider a new type of inverse combinatorial optimization, Inverse Submodular Maximization (ISM), for its application in human-in-the-loop multi-robot information gathering. Forward combinatorial optimization - solving a combinatorial…

Robotics · Computer Science 2026-02-24 Guangyao Shi , Shipeng Liu , Ellen Novoseller , Feifei Qian , Gaurav S. Sukhatme

In recent years, graph prompting has emerged as a promising research direction, enabling the learning of additional tokens or subgraphs appended to the original graphs without requiring retraining of pre-trained graph models across various…

Machine Learning · Computer Science 2025-05-28 Qunzhong Wang , Xiangguo Sun , Hong Cheng

Path-based explanations provide intrinsic insights into graph-based recommendation models. However, most previous work has focused on explaining an individual recommendation of an item to a user. In this paper, we propose summary…

Artificial Intelligence · Computer Science 2024-12-10 Danae Pla Karidi , Evaggelia Pitoura

Reliable navigation systems have a wide range of applications in robotics and autonomous driving. Current approaches employ an open-loop process that converts sensor inputs directly into actions. However, these open-loop schemes are…

Robotics · Computer Science 2022-10-26 Wenqi Zhang , Kai Zhao , Peng Li , Xiao Zhu , Yongliang Shen , Yanna Ma , Yingfeng Chen , Weiming Lu

Modern industrial systems require updated approaches to safety management, as the tight interplay between cyber-physical, human, and organizational factors has driven their processes toward increasing complexity. In addition to dealing with…

Systems and Control · Electrical Eng. & Systems 2025-09-09 Francesco Simone , Marco Bortolini , Giovanni Mazzuto , Giulio di Gravio , Riccardo Patriarca

Emotional cues frequently arise and shape group dynamics in interactive settings where multiple humans and artificial agents communicate through shared digital channels. While artificial agents lack intrinsic emotional states, they can…

Human-Computer Interaction · Computer Science 2025-07-17 Fernando Koch , Jessica Nahulan , Jeremy Fox , Martin Keen

Prompt engineering, particularly Chain-of-Thought (CoT) prompting, significantly enhances LLM reasoning capabilities. We introduce "Sculpting," a constrained, rule-based prompting method designed to improve upon standard CoT by reducing…

Computation and Language · Computer Science 2025-10-28 Imran Khan

Human-Object Interaction (HOI) detection devotes to learn how humans interact with surrounding objects via inferring triplets of < human, verb, object >. However, recent HOI detection methods mostly rely on additional annotations (e.g.,…

Computer Vision and Pattern Recognition · Computer Science 2020-07-15 Dongming Yang , Yuexian Zou

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling,…

Formal Languages and Automata Theory · Computer Science 2020-12-03 Berthold Hoffmann , Mark Minas

We introduce a method for the generation of images from an input scene graph. The method separates between a layout embedding and an appearance embedding. The dual embedding leads to generated images that better match the scene graph, have…

Computer Vision and Pattern Recognition · Computer Science 2019-11-19 Oron Ashual , Lior Wolf

The availability of interaction devices has raised interest in techniques to support the user interface (UI). A UI specification describes the functions that a system provides to its users by capturing the interface details and includes…

Software Engineering · Computer Science 2019-02-01 Sabah Al-Fedaghi

In this paper, we introduce a set of tools for providing user-friendly explanations in an explanation-based constraint programming system. The idea is to represent the constraints of a problem as an hierarchy (a tree). Users are then…

Programming Languages · Computer Science 2007-05-23 Narendra Jussien , Samir Ouis

Schema and data integration have been a challenge for more than 40 years. While data warehouse technologies are quite a success story, there is still a lack of information integration methods, especially if the data sources are based on…

Databases · Computer Science 2021-07-21 Fritz Laux , Malcolm Crowe

Scene graph aims to faithfully reveal humans' perception of image content. When humans analyze a scene, they usually prefer to describe image gist first, namely major objects and key relations in a scene graph. This humans' inherent…

Computer Vision and Pattern Recognition · Computer Science 2020-07-20 Wenbin Wang , Ruiping Wang , Shiguang Shan , Xilin Chen