English
Related papers

Related papers: Learning for Dynamic subsumption

200 papers

A new causal discovery method, Structural Agnostic Modeling (SAM), is presented in this paper. Leveraging both conditional independencies and distributional asymmetries, SAM aims to find the underlying causal structure from observational…

Machine Learning · Statistics 2022-07-26 Diviyan Kalainathan , Olivier Goudet , Isabelle Guyon , David Lopez-Paz , Michèle Sebag

Data-driven models based on deep learning algorithms intend to overcome the limitations of traditional constitutive modelling by directly learning from data. However, the need for extensive data that collate the full state of the material…

Materials Science · Physics 2023-12-27 Filippo Masi , Itai Einav

Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracking approach, this kind of solver learns the reason behind…

Artificial Intelligence · Computer Science 2022-10-12 Tom Krüger , Jan-Hendrik Lorenz , Florian Wörz

Simulating turbulent smoke flows is computationally intensive due to their intrinsic multiscale behavior, thus requiring relatively high resolution grids to fully capture their complexity. For iterative editing or simply faster generation…

Graphics · Computer Science 2019-10-22 Kai Bai , Wei Li , Mathieu Desbrun , Xiaopei Liu

Identifying the underlying reason for a failing dynamic process or otherwise anomalous observation is a fundamental challenge, yet has numerous industrial applications. Identifying the failure-causing sub-system using causal inference, one…

Machine Learning · Computer Science 2024-06-13 Juliane Weilbach , Sebastian Gerwinn , Karim Barsim , Martin Fränzle

Continuous Normalizing Flows (CNFs) have emerged as promising deep generative models for a wide range of tasks thanks to their invertibility and exact likelihood estimation. However, conditioning CNFs on signals of interest for conditional…

Machine Learning · Computer Science 2019-12-10 Tan M. Nguyen , Animesh Garg , Richard G. Baraniuk , Anima Anandkumar

Automated reasoners, such as SAT/SMT solvers and first-order provers, are becoming the backbones of rigorous systems engineering, being used for example in applications of system verification, program synthesis, and cybersecurity.…

Logic in Computer Science · Computer Science 2024-12-23 Robin Coutelier , Jakob Rath , Michael Rawson , Armin Biere , Laura Kovács

Adaptive networks today rely on overparameterized fixed topologies that cannot break through the statistical conflicts they encounter in the data they are exposed to, and are prone to "catastrophic forgetting" as the network attempts to…

Machine Learning · Computer Science 2024-12-06 Zeki Doruk Erden , Boi Faltings

Commonsense question answering is a crucial task that requires machines to employ reasoning according to commonsense. Previous studies predominantly employ an extracting-and-modeling paradigm to harness the information in KG, which first…

Machine Learning · Computer Science 2024-11-12 Boci Peng , Yongchao Liu , Xiaohe Bo , Sheng Tian , Baokun Wang , Chuntao Hong , Yan Zhang

Deep metric learning maps visually similar images onto nearby locations and visually dissimilar images apart from each other in an embedding manifold. The learning process is mainly based on the supplied image negative and positive training…

Computer Vision and Pattern Recognition · Computer Science 2020-09-14 Chang-Hui Liang , Wan-Lei Zhao , Run-Qing Chen

Methods for analyzing representations in neural systems have become a popular tool in both neuroscience and mechanistic interpretability. Having measures to compare how similar activations of neurons are across conditions, architectures,…

Machine Learning · Computer Science 2024-12-24 Quentin Guilhot , Michał Wójcik , Jascha Achterberg , Rui Ponte Costa

Interpretability and explainability are among the most important challenges of modern artificial intelligence, being mentioned even in various legislative sources. In this article, we develop a method for extracting immediately human…

Machine Learning · Computer Science 2024-06-04 Reijo Jaakkola , Tomi Janhunen , Antti Kuusisto , Masood Feyzbakhsh Rankooh , Miikka Vilander

Distant supervision significantly reduces human efforts in building training data for many classification tasks. While promising, this technique often introduces noise to the generated training data, which can severely affect the model…

Computation and Language · Computer Science 2018-05-16 Bingfeng Luo , Yansong Feng , Zheng Wang , Zhanxing Zhu , Songfang Huang , Rui Yan , Dongyan Zhao

Although the self-supervised pre-training of transformer models has resulted in the revolutionizing of natural language processing (NLP) applications and the achievement of state-of-the-art results with regard to various benchmarks, this…

Computation and Language · Computer Science 2023-01-26 Xiang Chen , Xin Xie , Zhen Bi , Hongbin Ye , Shumin Deng , Ningyu Zhang , Huajun Chen

Boolean Satisfiability solvers have gone through dramatic improvements in their performances and scalability over the last few years by considering symmetries. It has been shown that by using graph symmetries and generating symmetry…

Combinatorics · Mathematics 2011-02-02 Arup Kumar Ghosh

Efficient downscaling of large ensembles of coarse-scale information is crucial in several applications, such as oceanic and atmospheric modeling. The determining form map is a theoretical lifting function from the low-resolution solution…

Dynamical Systems · Mathematics 2023-10-19 Mohamad Abed El Rahman Hammoud , Edriss S. Titi , Ibrahim Hoteit , Omar Knio

The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable framework to learn logic programs from examples, can even acquire…

Artificial Intelligence · Computer Science 2021-03-03 Hikaru Shindo , Masaaki Nishino , Akihiro Yamamoto

Seismic data preconditioning is essential for subsurface interpretation. It enhances signal quality while attenuating noise, improving the accuracy of geophysical tasks that would otherwise be biased by noise. Although classical poststack…

Progressive Neural Network Learning is a class of algorithms that incrementally construct the network's topology and optimize its parameters based on the training data. While this approach exempts the users from the manual task of designing…

Machine Learning · Computer Science 2020-05-26 Dat Thanh Tran , Moncef Gabbouj , Alexandros Iosifidis

Learning with noisy labels, which aims to reduce expensive labors on accurate annotations, has become imperative in the Big Data era. Previous noise transition based method has achieved promising results and presented a theoretical…

Machine Learning · Computer Science 2021-08-24 Jiangchao Yao , Ya Zhang , Ivor W. Tsang , Jun Sun