English
Related papers

Related papers: Safe Neurosymbolic Learning with Differentiable Sy…

200 papers

Simulations of complex physical systems are typically realized by discretizing partial differential equations (PDEs) on unstructured meshes. While neural networks have recently been explored for surrogate and reduced order modeling of PDE…

Machine Learning · Computer Science 2021-10-27 Jiayang Xu , Aniruddhe Pradhan , Karthik Duraisamy

Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based on a judicious use of randomness. However, reasoning about…

Programming Languages · Computer Science 2020-07-29 Gian Pietro Farina , Stephen Chong , Marco Gaboardi

In this paper we propose a new methodology for decision-making under uncertainty using recent advancements in the areas of nonlinear stochastic optimal control theory, applied mathematics, and machine learning. Grounded on the fundamental…

Robotics · Computer Science 2021-07-12 Marcus Pereira , Ziyi Wang , Ioannis Exarchos , Evangelos A. Theodorou

Machine learning models have become firmly established across all scientific fields. Extracting features from data and making inferences based on them with neural network models often yields high accuracy; however, this approach has several…

Machine Learning · Computer Science 2026-01-13 Mikhail Lazarev , Andrey Ustyuzhanin

Machine learning models deployed in sensitive areas such as healthcare must be interpretable to ensure accountability and fairness. Rule lists (if Age < 35 $\wedge$ Priors > 0 then Recidivism = True, else if Next Condition . . . ) offer…

Machine Learning · Computer Science 2024-11-12 Sascha Xu , Nils Philipp Walter , Jilles Vreeken

Symbolic regression plays a crucial role in modern scientific research thanks to its capability of discovering concise and interpretable mathematical expressions from data. A key challenge lies in the search for parsimonious and…

Machine Learning · Computer Science 2025-09-12 Kai Ruan , Yilong Xu , Ze-Feng Gao , Yike Guo , Hao Sun , Ji-Rong Wen , Yang Liu

Automatically detecting and recovering from failures is an important but challenging problem for autonomous robots. Most of the recent work on learning to plan from demonstrations lacks the ability to detect and recover from errors in the…

Robots and autonomous systems require an understanding of complex events (CEs) from sensor data to interact with their environments and humans effectively. Traditional end-to-end neural architectures, despite processing sensor data…

Artificial Intelligence · Computer Science 2024-03-05 Liying Han , Mani B. Srivastava

Learning complex trajectories from demonstrations in robotic tasks has been effectively addressed through the utilization of Dynamical Systems (DS). State-of-the-art DS learning methods ensure stability of the generated trajectories;…

Robotics · Computer Science 2024-12-10 Andreas Sochopoulos , Michael Gienger , Sethu Vijayakumar

Anomaly detection in images plays a significant role for many applications across all industries, such as disease diagnosis in healthcare or quality assurance in manufacturing. Manual inspection of images, when extended over a monotonously…

Computer Vision and Pattern Recognition · Computer Science 2021-07-21 Vincent Wilmet , Sauraj Verma , Tabea Redl , Håkon Sandaker , Zhenning Li

Automated scientific discovery aims to improve scientific understanding through machine learning. A central approach in this field is symbolic regression, which uses genetic programming or sparse regression to learn interpretable…

Neural and Evolutionary Computing · Computer Science 2026-03-11 Sigur de Vries , Sander W. Keemink , Marcel A. J. van Gerven

To handle AI tasks that combine perception and logical reasoning, recent work introduces Neurosymbolic Deep Neural Networks (NS-DNNs), which contain -- in addition to traditional neural layers -- symbolic layers: symbolic expressions (e.g.,…

Machine Learning · Computer Science 2024-02-07 Aaron Bembenek , Toby Murray

As the number of deep learning frameworks increase and certain ones gain popularity, it spurs the discussion of what methodologies are employed by these frameworks and the reasoning behind them. The goal of this survey is to study how…

Programming Languages · Computer Science 2020-10-07 Belinda Fang , Elaine Yang , Fei Xie

Deep Neural Networks (DNNs) are widely used for traffic sign recognition because they can automatically extract high-level features from images. These DNNs are trained on large-scale datasets obtained from unknown sources. Therefore, it is…

Computer Vision and Pattern Recognition · Computer Science 2025-06-10 Thushari Hapuarachchi , Long Dang , Kaiqi Xiong

Recent work on recommender systems has considered external knowledge graphs as valuable sources of information, not only to produce better recommendations but also to provide explanations of why the recommended items were chosen. Pure…

Information Retrieval · Computer Science 2020-07-28 Yikun Xian , Zuohui Fu , Qiaoying Huang , S. Muthukrishnan , Yongfeng Zhang

Real-world robotic applications, from autonomous exploration to assistive technologies, require adaptive, interpretable, and data-efficient learning paradigms. While deep learning architectures and foundation models have driven significant…

Robotics · Computer Science 2025-06-11 Octavio Arriaga , Rebecca Adam , Melvin Laux , Lisa Gutzeit , Marco Ragni , Jan Peters , Frank Kirchner

Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns of applying DNNs to safety-critical domains. Several…

Machine Learning · Computer Science 2021-02-24 Jianlin Li , Pengfei Yang , Jiangchao Liu , Liqian Chen , Xiaowei Huang , Lijun Zhang

Unsupervised Deep Learning (DL) techniques have been widely used in various security-related anomaly detection applications, owing to the great promise of being able to detect unforeseen threats and superior performance provided by Deep…

Cryptography and Security · Computer Science 2021-09-24 Dongqi Han , Zhiliang Wang , Wenqi Chen , Ying Zhong , Su Wang , Han Zhang , Jiahai Yang , Xingang Shi , Xia Yin

Recently, researchers have utilized neural networks to accurately solve partial differential equations (PDEs), enabling the mesh-free method for scientific computation. Unfortunately, the network performance drops when encountering a high…

Machine Learning · Computer Science 2021-09-29 Pongpisit Thanasutives , Masayuki Numao , Ken-ichi Fukui

This paper proposes a novel learning architecture for acquiring generalizable high-level symbolic skills from a few unlabeled low-level skill trajectory demonstrations. The architecture involves neural networks for symbol discovery and…

Robotics · Computer Science 2026-03-03 Hakan Aktas , Yigit Yildirim , Ahmet Firat Gamsiz , Deniz Bilge Akkoc , Erhan Oztop , Emre Ugur