facebookresearch / SymbolicMathematicsLinks
Deep Learning for Symbolic Mathematics
☆551Updated 4 years ago
Alternatives and similar repositories for SymbolicMathematics
Users that are interested in SymbolicMathematics are comparing it to the libraries listed below
Sorting:
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆769Updated 2 years ago
- ☆379Updated 4 years ago
- ☆729Updated last year
- SR based on LLMs.☆123Updated 3 years ago
- Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support☆223Updated 5 years ago
- Pytorch implementation of Augmented Neural ODEs☆551Updated 2 years ago
- [NeurIPS'19] Deep Equilibrium Models☆785Updated 3 years ago
- Code for our paper "Hamiltonian Neural Networks"☆498Updated 4 years ago
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 4 years ago
- A deep learning framework for symbolic optimization.☆694Updated 11 months ago
- Code for the paper "Learning Differential Equations that are Easy to Solve"☆287Updated 4 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆422Updated 3 years ago
- Source code and Dataset creation for the paper "Neural Symbolic Regression That Scales"☆105Updated 3 months ago
- Symbolic regression is the task of identifying a mathematical expression that best fits a provided dataset of input and output values. In…☆55Updated 4 years ago
- ☆542Updated 2 years ago
- Lagrangian Neural Networks☆531Updated 3 months ago
- Implementation for the Neural Logic Machines (NLM).☆293Updated 6 years ago
- Neural Networks and the Chomsky Hierarchy☆212Updated last year
- Paper List For Linking ODE and Deep Learning☆246Updated 5 years ago
- This repository contains experiments with Neural Ordinary Differential Equations with simulated and real empirical data☆199Updated 6 years ago
- A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods☆1,546Updated last year
- 🌊 Numerically solving and backpropagating through the wave equation☆537Updated 5 years ago
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆485Updated 3 years ago
- A living benchmark framework for symbolic regression☆285Updated 2 months ago
- Jupyter notebook with Pytorch implementation of Neural Ordinary Differential Equations☆789Updated last year
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆248Updated 5 years ago
- paper lists and information on mean-field theory of deep learning☆78Updated 6 years ago
- Differentiable SDE solvers with GPU support and efficient sensitivity analysis.☆1,691Updated 11 months ago
- Mathematics of Deep Learning, Courant Insititute, Spring 19☆278Updated 6 years ago
- [NeurIPS 2021] Galerkin Transformer: a linear attention without softmax for Partial Differential Equations☆256Updated last year