facebookresearch / SymbolicMathematicsLinks
Deep Learning for Symbolic Mathematics
☆541Updated 3 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"☆757Updated last year
- ☆374Updated 3 years ago
- [NeurIPS'19] Deep Equilibrium Models☆753Updated 3 years ago
- ☆696Updated last year
- Pytorch implementation of Augmented Neural ODEs☆542Updated 2 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆418Updated 2 years ago
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 3 years ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆243Updated 4 years ago
- Lagrangian Neural Networks☆504Updated last year
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆316Updated 10 months ago
- Code for the paper "Learning Differential Equations that are Easy to Solve"☆281Updated 3 years ago
- Implementation for the Neural Logic Machines (NLM).☆287Updated 6 years ago
- Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support☆219Updated 4 years ago
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆480Updated 3 years ago
- A deep learning framework for symbolic optimization.☆661Updated 6 months ago
- ☆520Updated 2 years ago
- Code for our paper "Hamiltonian Neural Networks"☆475Updated 4 years ago
- Tools for extracting tables and results from Machine Learning papers☆405Updated 2 years ago
- A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods☆1,506Updated last year
- PyTorch, TensorFlow, JAX and NumPy — all of them natively using the same code☆696Updated 2 years ago
- Paper List For Linking ODE and Deep Learning☆245Updated 5 years ago
- Fast Block Sparse Matrices for Pytorch☆548Updated 4 years ago
- Code for experiments in my blog post on the Neural Tangent Kernel: https://eigentales.com/NTK☆176Updated 5 years ago
- BackPACK - a backpropagation package built on top of PyTorch which efficiently computes quantities other than the gradient.☆588Updated 6 months ago
- ADAHESSIAN: An Adaptive Second Order Optimizer for Machine Learning☆277Updated 2 years ago
- [NeurIPS 2021] Galerkin Transformer: a linear attention without softmax for Partial Differential Equations☆248Updated last year
- Neural Networks and the Chomsky Hierarchy☆207Updated last year
- This repository contains experiments with Neural Ordinary Differential Equations with simulated and real empirical data☆200Updated 6 years ago
- A Graph Neural Network Library in Jax☆1,435Updated last year
- A pedagogical implementation of Autograd☆986Updated 5 years ago