facebookresearch / SymbolicMathematicsLinks
Deep Learning for Symbolic Mathematics
☆548Updated 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"☆764Updated last year
- ☆375Updated 3 years ago
- ☆713Updated last year
- [NeurIPS'19] Deep Equilibrium Models☆775Updated 3 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
- Implementation for the Neural Logic Machines (NLM).☆291Updated 6 years ago
- Lagrangian Neural Networks☆516Updated 3 weeks ago
- Pytorch implementation of Augmented Neural ODEs☆552Updated 2 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆418Updated 2 years ago
- Code for our paper "Hamiltonian Neural Networks"☆484Updated 4 years ago
- Code for the paper "Learning Differential Equations that are Easy to Solve"☆284Updated 3 years ago
- Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support☆223Updated 5 years ago
- Paper List For Linking ODE and Deep Learning☆246Updated 5 years ago
- A deep learning framework for symbolic optimization.☆682Updated 9 months ago
- This repository contains experiments with Neural Ordinary Differential Equations with simulated and real empirical data☆199Updated 6 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
- ☆535Updated 2 years ago
- SR based on LLMs.☆116Updated 2 years ago
- ☆772Updated last year
- Symbolic regression is the task of identifying a mathematical expression that best fits a provided dataset of input and output values. In…☆53Updated 3 years ago
- PyTorch, TensorFlow, JAX and NumPy — all of them natively using the same code☆697Updated 2 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆320Updated last year
- Differentiable Optimization-Based Modeling for Machine Learning☆340Updated 5 years ago
- Competition for best expository article on cutting-edge ML research☆56Updated 4 years ago
- A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods☆1,528Updated last year
- Source code and Dataset creation for the paper "Neural Symbolic Regression That Scales"☆101Updated last month
- A Graph Neural Network Library in Jax☆1,449Updated last year
- Constrained optimization toolkit for PyTorch☆699Updated 2 months ago
- Code for experiments in my blog post on the Neural Tangent Kernel: https://eigentales.com/NTK☆176Updated 5 years ago
- Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…☆347Updated 3 years ago