English
Related papers

Related papers: Tacit Knowledge Extraction via Logic Augmented Gen…

200 papers

We present a method for generating training data for reinforcement learning with verifiable rewards to improve small open-weights language models on mathematical tasks. Existing data generation approaches rely on open-loop pipelines and…

Machine Learning · Computer Science 2026-02-24 Teresa Yeo , Myeongho Jeon , Dulaj Weerakoon , Rui Qiao , Alok Prakash , Armando Solar-Lezama , Archan Misra

For many reasoning-heavy tasks involving raw inputs, it is challenging to design an appropriate end-to-end learning pipeline. Neuro-Symbolic Learning, divide the process into sub-symbolic perception and symbolic reasoning, trying to utilise…

Artificial Intelligence · Computer Science 2021-05-21 Wang-Zhou Dai , Stephen H. Muggleton

How can we use generative AI to design tools that augment rather than replace human cognition? In this position paper, we review our own research on AI-assisted decision-making for lessons to learn. We observe that in both AI-assisted…

Human-Computer Interaction · Computer Science 2025-04-07 Zelun Tony Zhang , Leon Reicherts

Cultural heritage applications and advanced machine learning models are creating a fruitful synergy to provide effective and accessible ways of interacting with artworks. Smart audio-guides, personalized art-related content and gamification…

Computer Vision and Pattern Recognition · Computer Science 2024-08-20 Dario Cioni , Lorenzo Berlincioni , Federico Becattini , Alberto del Bimbo

Graph signal processing represents an important advancement in the field of data analysis, extending conventional signal processing methodologies to complex networks and thereby facilitating the exploration of informative patterns and…

Signal Processing · Electrical Eng. & Systems 2024-06-07 Keivan Faghih Niresi , Lucas Kuhn , Gaëtan Frusque , Olga Fink

Learned knowledge graph representations supporting robots contain a wealth of domain knowledge that drives robot behavior. However, there does not exist an inference reconciliation framework that expresses how a knowledge graph…

Artificial Intelligence · Computer Science 2022-05-05 Angel Daruna , Devleena Das , Sonia Chernova

Analogical Reasoning problems challenge both connectionist and symbolic AI systems as these entail a combination of background knowledge, reasoning and pattern recognition. While symbolic systems ingest explicit domain knowledge and perform…

Artificial Intelligence · Computer Science 2022-09-20 Vishwa Shah , Aditya Sharma , Gautam Shroff , Lovekesh Vig , Tirtharaj Dash , Ashwin Srinivasan

The recommendation system is not only a problem of inductive statistics from data but also a cognitive task that requires reasoning ability. The most advanced graph neural networks have been widely used in recommendation systems because…

Artificial Intelligence · Computer Science 2023-07-12 Bang Chen , Wei Peng , Maonian Wu , Bo Zheng , Shaojun Zhu

Scientific inquiry requires systems-level reasoning that integrates heterogeneous experimental data, cross-domain knowledge, and mechanistic evidence into coherent explanations. While Large Language Models (LLMs) offer inferential…

Artificial Intelligence · Computer Science 2026-01-09 Isabella A. Stewart , Markus J. Buehler

This paper describes a new kind of knowledge representation and mining system which we are calling the Semantic Knowledge Graph. At its heart, the Semantic Knowledge Graph leverages an inverted index, along with a complementary uninverted…

Information Retrieval · Computer Science 2016-09-06 Trey Grainger , Khalifeh AlJadda , Mohammed Korayem , Andries Smith

Large language models (LLMs) struggle with the factual error during inference due to the lack of sufficient training data and the most updated knowledge, leading to the hallucination problem. Retrieval-Augmented Generation (RAG) has gained…

Information Retrieval · Computer Science 2026-01-22 Zulun Zhu , Tiancheng Huang , Kai Wang , Junda Ye , Xinghe Chen , Siqiang Luo

The advent of Large Language Models (LLMs) and Generative AI has revolutionized natural language applications across various domains. However, high-stakes decision-making tasks in fields such as medical, legal and finance require a level of…

Foundation model-driven agents often struggle with long-horizon planning due to the transient nature of purely prompting-based reasoning. While existing skill induction methods mitigate this by distilling experience into state-blind…

Artificial Intelligence · Computer Science 2026-05-05 Jie-Jing Shao , Haiyan Yin , Yueming Lyu , Xingrui Yu , Lan-Zhe Guo , Ivor Tsang , James Kwok , Yu-Feng Li

In domains such as materials science, biomedicine, and finance, high-stakes deployment of large language models (LLMs) requires injecting private, domain-specific knowledge that is proprietary, fast-evolving, and under-represented in public…

Computation and Language · Computer Science 2026-04-15 Rongji Li , Jian Xu , Yi Chen , Xueqing Chen , Yisheng Yang , Jiayi Wang , Xingyu Chen , Chunyu Xie , Dawei Leng , Xu-Yao Zhang

Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about the environment, has gained traction in recent years for…

Systems and Control · Computer Science 2019-05-10 Rafael Rodrigues da Silva , Vince Kurtz , Hai Lin

The study of machine learning-based logical query answering enables reasoning with large-scale and incomplete knowledge graphs. This paper advances this area of research by addressing the uncertainty inherent in knowledge. While the…

Artificial Intelligence · Computer Science 2025-05-21 Weizhi Fei , Zihao Wang , Hang Yin , Yang Duan , Yangqiu Song

Recent neural models for data-to-text generation are mostly based on data-driven end-to-end training over encoder-decoder networks. Even though the generated texts are mostly fluent and informative, they often generate descriptions that are…

Computation and Language · Computer Science 2018-09-11 Feng Nie , Jinpeng Wang , Jin-Ge Yao , Rong Pan , Chin-Yew Lin

The growing use of artificial intelligence (AI) in education, particularly large language models (LLMs), has increased interest in intelligent tutoring systems. However, LLMs often show limited adaptivity and struggle to model learners'…

Transformer neural networks show promising capabilities, in particular for uses in materials analysis, design and manufacturing, including their capacity to work effectively with both human language, symbols, code, and numerical data. Here…

Computation and Language · Computer Science 2023-11-01 Markus J. Buehler

Knowledge Tracing (KT) models students' evolving knowledge states to predict future performance, serving as a foundation for personalized education. While traditional deep learning models achieve high accuracy, they often lack…

Computation and Language · Computer Science 2026-03-25 Runze Li , Kedi Chen , Guwei Feng , Mo Yu , Jun Wang , Wei Zhang