facebookresearch / SymbolicMathematicsLinks
Deep Learning for Symbolic Mathematics
☆547Updated 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"☆766Updated last year
- ☆375Updated 3 years ago
- [NeurIPS'19] Deep Equilibrium Models☆777Updated 3 years ago
- ☆721Updated last year
- Pytorch implementation of Augmented Neural ODEs☆549Updated 2 years ago
- Code for the paper "Learning Differential Equations that are Easy to Solve"☆284Updated 3 years ago
- Paper List For Linking ODE and Deep Learning☆246Updated 5 years ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆247Updated 5 years ago
- Code for our paper "Hamiltonian Neural Networks"☆491Updated 4 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆421Updated 2 years ago
- Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support☆223Updated 5 years ago
- Implementation for the Neural Logic Machines (NLM).☆291Updated 6 years ago
- paper lists and information on mean-field theory of deep learning☆78Updated 6 years ago
- A deep learning framework for symbolic optimization.☆688Updated 10 months ago
- Lagrangian Neural Networks☆522Updated last month
- BackPACK - a backpropagation package built on top of PyTorch which efficiently computes quantities other than the gradient.☆599Updated 10 months 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
- ADAHESSIAN: An Adaptive Second Order Optimizer for Machine Learning☆281Updated 2 years ago
- Code for experiments in my blog post on the Neural Tangent Kernel: https://eigentales.com/NTK☆173Updated 6 years ago
- A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods☆1,538Updated last year
- SR based on LLMs.☆119Updated 3 years ago
- ☆888Updated last week
- [NeurIPS 2021] Galerkin Transformer: a linear attention without softmax for Partial Differential Equations☆252Updated last year
- Turning SymPy expressions into PyTorch modules.☆152Updated 2 years ago
- Fast and Easy Infinite Neural Networks in Python☆2,362Updated last year
- ☆775Updated last year
- Convolutional Neural Tangent Kernel☆112Updated 6 years ago
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆484Updated 3 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆343Updated 6 years ago
- Mathematics of Deep Learning, Courant Insititute, Spring 19☆278Updated 6 years ago