English
Related papers

Related papers: Guarded Kleene Algebra with Tests: Automata Learni…

200 papers

Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the…

Machine Learning · Computer Science 2025-02-28 Fernando Martin-Maroto , Nabil Abderrahaman , David Mendez , Gonzalo G. de Polavieja

Knowledge Tracing (KT) aims to predict students' future performances based on their former exercises and additional information in educational settings. KT has received significant attention since it facilitates personalized experiences in…

Artificial Intelligence · Computer Science 2025-02-18 Hao Zhou , Wenge Rong , Jianfei Zhang , Qing Sun , Yuanxin Ouyang , Zhang Xiong

Reasoning over knowledge graphs (KGs) is a challenging task that requires a deep understanding of the complex relationships between entities and the underlying logic of their relations. Current approaches rely on learning geometries to…

Logic in Computer Science · Computer Science 2024-04-02 Nurendra Choudhary , Chandan K. Reddy

As large language models (LLMs) advance, their role in higher education, particularly in free-response problem-solving, requires careful examination. This study assesses the performance of GPT-4o and o1-preview under realistic educational…

Computers and Society · Computer Science 2025-05-21 Ming Ding , Rasmus Kyng , Federico Solda , Weixuan Yuan

This tutorial addresses the challenge of incorporating large language models (LLMs), such as ChatGPT, in a data analytics class. It details several new in-class and out-of-class teaching techniques enabled by AI. For example, instructors…

Computers and Society · Computer Science 2024-11-13 Robert L. Bray

Deep Kernel Learning (DKL) combines the representational power of neural networks with the uncertainty quantification of Gaussian Processes. Hence, it is potentially a promising tool to learn and control complex dynamical systems. In this…

Systems and Control · Electrical Eng. & Systems 2024-03-14 Robert Reed , Luca Laurenti , Morteza Lahijanian

With the widespread adoption of pre-trained Large Language Models (LLM), there exists a high demand for task-specific test sets to benchmark their performance in domains such as healthcare and biomedicine. However, the cost of labeling test…

Computation and Language · Computer Science 2026-03-23 Aashish Anantha Ramakrishnan , Ardavan Saeedi , Hamid Reza Hassanzadeh , Fazlolah Mohaghegh , Dongwon Lee

Deep kernel learning (DKL) leverages the connection between Gaussian process (GP) and neural networks (NN) to build an end-to-end, hybrid model. It combines the capability of NN to learn rich representations under massive data and the…

Machine Learning · Statistics 2020-08-20 Haitao Liu , Yew-Soon Ong , Xiaomo Jiang , Xiaofang Wang

Generalized zero-shot learning (GZSL) aims at training a model that can generalize to unseen class data by only using auxiliary information. One of the main challenges in GZSL is a biased model prediction toward seen classes caused by…

Machine Learning · Computer Science 2022-03-09 Gukyeong Kwon , Ghassan AlRegib

We propose an automata theoretic learning algorithm for the identification of black-box switched linear systems whose switching logics are event-driven. A switched system is expressed by a deterministic finite automaton (FA) whose node…

Systems and Control · Electrical Eng. & Systems 2021-11-11 Atreyee Kundu , Pavithra Prabhakar

Deep Neural Networks (DNN) are known to be vulnerable to adversarial samples, the detection of which is crucial for the wide application of these DNN models. Recently, a number of deep testing methods in software engineering were proposed…

Machine Learning · Computer Science 2021-07-16 Zuohui Chen , Renxuan Wang , Jingyang Xiang , Yue Yu , Xin Xia , Shouling Ji , Qi Xuan , Xiaoniu Yang

Graph-structured data appears frequently in domains including chemistry, natural language semantics, social networks, and knowledge bases. In this work, we study feature learning techniques for graph-structured inputs. Our starting point is…

Machine Learning · Computer Science 2017-09-26 Yujia Li , Daniel Tarlow , Marc Brockschmidt , Richard Zemel

This paper proposes an innovative framework for Unsupervised Image Dehazing via Kolmogorov-Arnold Transformation, termed UID-KAT. Image dehazing is recognized as a challenging and ill-posed vision task that requires complex transformations…

Computer Vision and Pattern Recognition · Computer Science 2025-02-13 Le-Anh Tran

Meta-learning model can quickly adapt to new tasks using few-shot labeled data. However, despite achieving good generalization on few-shot classification tasks, it is still challenging to improve the adversarial robustness of the…

Machine Learning · Computer Science 2021-07-02 Fan Liu , Shuyu Zhao , Xuelong Dai , Bin Xiao

Safe active learning (AL) is a sequential scheme for learning unknown systems while respecting safety constraints during data acquisition. Existing methods often rely on Gaussian processes (GPs) to model the task and safety constraints,…

Machine Learning · Computer Science 2026-04-07 Cen-You Li , Marc Toussaint , Barbara Rakitsch , Christoph Zimmer

Knowledge Graphs (KGs) often have two characteristics: heterogeneous graph structure and text-rich entity/relation information. Text-based KG embeddings can represent entities by encoding descriptions with pre-trained language models, but…

Computation and Language · Computer Science 2023-09-15 Xin Xie , Zhoubo Li , Xiaohan Wang , Zekun Xi , Ningyu Zhang

Graphs can facilitate modeling various complex systems such as gene networks and power grids, as well as analyzing the underlying relations within them. Learning over graphs has recently attracted increasing attention, particularly graph…

Machine Learning · Computer Science 2023-03-28 O. Deniz Kose , Yanning Shen

Penetration testing (PT) is an efficient network testing and vulnerability mining tool by simulating a hacker's attack for valuable information applied in some areas. Compared with manual PT, intelligent PT has become a dominating…

Cryptography and Security · Computer Science 2022-04-06 Jinyin Chen , Shulong Hu , Haibin Zheng , Changyou Xing , Guomin Zhang

In this paper, we study the generative models of sequential discrete data. To tackle the exposure bias problem inherent in maximum likelihood estimation (MLE), generative adversarial networks (GANs) are introduced to penalize the…

Machine Learning · Computer Science 2019-05-14 Sidi Lu , Lantao Yu , Siyuan Feng , Yaoming Zhu , Weinan Zhang , Yong Yu

Not only automation of manufacturing processes but also automation of automation procedures itself become increasingly relevant to automation research. In this context, automated capability assessment, mainly leveraged by deep learning…

Artificial Intelligence · Computer Science 2022-01-31 Raoul Schönhof , Artem Werner , Jannes Elstner , Boldizsar Zopcsak , Ramez Awad , Marco Huber