AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

3 September 2021

Papers citing "AI Descartes: Combining Data and Theory for Derivable Scientific Discovery"

34 / 34 papers shown

Title
Bayesian Experimental Design for Symbolic Discovery K. Clarkson Cristina Cornelio S. Dash Joao Goncalves L. Horesh N. Megiddo 32 2 0 29 Nov 2022
Deep Learning with Logical Constraints Eleonora Giunchiglia Mihaela C. Stoian Thomas Lukasiewicz NAI AI4CE 49 61 0 01 May 2022
Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks Prithviraj Sen B. W. Carvalho Ryan Riegel Alexander G. Gray NAI AI4CE 112 56 0 06 Dec 2021
A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks T. Dash Sharad Chitlangia Aditya Ahuja A. Srinivasan 49 130 0 21 Jul 2021
Logic Guided Genetic Algorithms D. Ashok Joseph Scott S. J. Wetzel Maysum Panju Vijay Ganesh 71 12 0 21 Oct 2020
Neural Networks Enhancement with Logical Knowledge Alessandro Daniele Luciano Serafini NAI 43 3 0 13 Sep 2020
Discovering Symbolic Models from Deep Learning with Inductive Biases M. Cranmer Alvaro Sanchez-Gonzalez Peter W. Battaglia Rui Xu Kyle Cranmer D. Spergel S. Ho AI4CE 57 473 0 19 Jun 2020
AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity S. Udrescu A. Tan Jiahai Feng Orisvaldo Neto Tailin Wu Max Tegmark 48 187 0 18 Jun 2020
LGML: Logic Guided Machine Learning Joseph Scott Maysum Panju Vijay Ganesh LRM 13 6 0 05 Jun 2020
A Bayesian machine scientist to aid in the solution of challenging scientific problems Roger Guimerà I. Reichardt Antoni Aguilar-Mogas F. Massucci Manuel Miranda J. Pallarés Marta Sales-Pardo AI4CE 13 114 0 25 Apr 2020
Symbolic Regression Driven by Training Data and Prior Knowledge Jiří Kubalík Erik Derner Robert Babuška 13 27 0 24 Apr 2020
Learning Compositional Rules via Neural Program Synthesis Maxwell Nye Armando Solar-Lezama J. Tenenbaum Brenden M. Lake NAI LRM 47 117 0 12 Mar 2020
Tensor network approaches for learning non-linear dynamical laws Alex Goessmann M. Götte I. Roth R. Sweke Gitta Kutyniok Jens Eisert AI4CE 21 18 0 27 Feb 2020
Integrating Deep Learning with Logic Fusion for Information Extraction Wenya Wang Sinno Jialin Pan NAI 29 50 0 06 Dec 2019
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 82 410 0 02 Dec 2019
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving Mayank Agarwal Ibrahim Abdelaziz B. Makni Spencer Whitehead Cristina Cornelio Pavan Kapanipathi Kavitha Srinivas Veronika Thost Michael Witbrock Achille Fokoue LRM 35 10 0 05 Nov 2019
On Universal Approximation by Neural Networks with Uniform Guarantees on Approximation of Infinite Dimensional Maps William H. Guss Ruslan Salakhutdinov 19 14 0 03 Oct 2019
Mathematical Reasoning in Latent Space Dennis Lee Christian Szegedy M. Rabe Sarah M. Loos Kshitij Bansal 47 34 0 26 Sep 2019
A Logic-Driven Framework for Consistency of Neural Models Tao Li Vivek Gupta Maitrey Mehta Vivek Srikumar AI4CE 58 103 0 31 Aug 2019
Augmenting Neural Networks with First-order Logic Tao Li Vivek Srikumar 33 109 0 14 Jun 2019
Learning dynamic polynomial proofs Alhussein Fawzi Mateusz Malinowski Hamza Fawzi Omar Fawzi 47 17 0 04 Jun 2019
AI Feynman: a Physics-Inspired Method for Symbolic Regression S. Udrescu Max Tegmark 105 862 0 27 May 2019
Informed Machine Learning -- A Taxonomy and Survey of Integrating Knowledge into Learning Systems Laura von Rueden S. Mayer Katharina Beckh B. Georgiev Sven Giesselbach ... Rajkumar Ramamurthy Michal Walczak Jochen Garcke Christian Bauckhage Jannis Schuecker 53 630 0 29 Mar 2019
Constructing Parsimonious Analytic Models for Dynamic Systems via Symbolic Regression Erik Derner Jiří Kubalík N. Ancona Robert Babuška 39 9 0 27 Mar 2019
Inductive Learning of Answer Set Programs from Noisy Examples Mark Law A. Russo Krysia Broda 46 42 0 25 Aug 2018
Discovering physical concepts with neural networks Raban Iten Tony Metger H. Wilming L. D. Rio R. Renner PINN AI4CE 48 387 0 26 Jul 2018
Constraint-Based Visual Generation G. Marra Francesco Giannini Michelangelo Diligenti Marco Gori 3DV GAN 36 11 0 16 Jul 2018
A Semantic Loss Function for Deep Learning with Symbolic Knowledge Jingyi Xu Zilu Zhang Tal Friedman Yitao Liang Guy Van den Broeck 76 447 0 29 Nov 2017
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 104 482 0 13 Nov 2017
Globally Optimal Symbolic Regression V. Austel S. Dash Oktay Gunluk L. Horesh L. Liberti G. Nannicini B. Schieber 26 22 0 29 Oct 2017
Differentiable Genetic Programming Dario Izzo F. Biscani Alessio Mereta 19 42 0 15 Nov 2016
Neuro-Symbolic Program Synthesis Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou Pushmeet Kohli NAI 87 322 0 06 Nov 2016
Extrapolation and learning equations Georg Martius Christoph H. Lampert 29 157 0 10 Oct 2016
Sum-of-squares proofs and the quest toward optimal algorithms Boaz Barak David Steurer 53 137 0 21 Apr 2014