中文
相关论文

相关论文: Safe Neurosymbolic Learning with Differentiable Sy…

200 篇论文

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…

机器学习 · 计算机科学 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…

编程语言 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器人学 · 计算机科学 2024-05-30 Namasivayam Kalithasan , Arnav Tuli , Vishal Bindal , Himanshu Gaurav Singh , Parag Singla , Rohan Paul

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…

人工智能 · 计算机科学 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;…

机器人学 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

神经与进化计算 · 计算机科学 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.,…

机器学习 · 计算机科学 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…

编程语言 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

信息检索 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器人学 · 计算机科学 2026-03-03 Hakan Aktas , Yigit Yildirim , Ahmet Firat Gamsiz , Deniz Bilge Akkoc , Erhan Oztop , Emre Ugur