facebookresearch / SymbolicMathematicsLinks
Deep Learning for Symbolic Mathematics
☆545Updated 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"☆760Updated last year
- ☆377Updated 3 years ago
- Code for the paper "Learning Differential Equations that are Easy to Solve"☆282Updated 3 years ago
- ☆703Updated last year
- Code for our paper "Hamiltonian Neural Networks"☆480Updated 4 years ago
- Implementation for the Neural Logic Machines (NLM).☆290Updated 6 years ago
- Lagrangian Neural Networks☆508Updated last year
- A Graph Neural Network Library in Jax☆1,443Updated last year
- [NeurIPS'19] Deep Equilibrium Models☆758Updated 3 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆417Updated 2 years ago
- Pytorch implementation of Augmented Neural ODEs☆546Updated 2 years ago
- Paper List For Linking ODE and Deep Learning☆246Updated 5 years ago
- SR based on LLMs.☆110Updated 2 years ago
- ☆880Updated last week
- A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods☆1,518Updated last year
- Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support☆221Updated 5 years ago
- A library for programmatically generating equivariant layers through constraint solving☆273Updated 2 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
- Turning SymPy expressions into PyTorch modules.☆150Updated 2 years ago
- Hardware accelerated, batchable and differentiable optimizers in JAX.☆992Updated 4 months ago
- ☆589Updated last week
- Turn SymPy expressions into trainable JAX expressions.☆347Updated 4 months ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆246Updated 5 years ago
- BackPACK - a backpropagation package built on top of PyTorch which efficiently computes quantities other than the gradient.☆589Updated 8 months ago
- Differentiable SDE solvers with GPU support and efficient sensitivity analysis.☆1,667Updated 8 months ago
- A deep learning framework for symbolic optimization.☆675Updated 7 months ago
- This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…☆308Updated 2 months ago
- paper lists and information on mean-field theory of deep learning☆78Updated 6 years ago
- OSS library that implements deep learning methods for partial differential equations and much more☆450Updated last month
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆479Updated 3 years ago