facebookresearch / SymbolicMathematics
Deep Learning for Symbolic Mathematics
☆535Updated 3 years ago
Alternatives and similar repositories for SymbolicMathematics:
Users that are interested in SymbolicMathematics are comparing it to the libraries listed below
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆745Updated last year
- [NeurIPS'19] Deep Equilibrium Models☆741Updated 2 years ago
- ☆832Updated last week
- Pytorch implementation of Augmented Neural ODEs☆537Updated 2 years ago
- Code for our paper "Hamiltonian Neural Networks"☆459Updated 3 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆410Updated 2 years ago
- Fast Block Sparse Matrices for Pytorch☆546Updated 4 years ago
- Fast and Easy Infinite Neural Networks in Python☆2,325Updated last year
- Code for the paper "Learning Differential Equations that are Easy to Solve"☆278Updated 3 years ago
- ☆370Updated 3 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆390Updated 10 months ago
- Fast, general, and tested differentiable structured prediction in PyTorch☆1,112Updated 2 years ago
- BackPACK - a backpropagation package built on top of PyTorch which efficiently computes quantities other than the gradient.☆573Updated 2 months ago
- ☆428Updated 3 months ago
- Paper List For Linking ODE and Deep Learning☆245Updated 5 years ago
- A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods☆1,456Updated 10 months ago
- Code for Neural Arithmetic Units (ICLR) and Measuring Arithmetic Extrapolation Performance (SEDL|NeurIPS)☆147Updated 3 years ago
- Source code and Dataset creation for the paper "Neural Symbolic Regression That Scales"☆87Updated 3 years ago
- A Graph Neural Network Library in Jax☆1,413Updated last year
- ☆556Updated this week
- ☆672Updated 8 months ago
- functorch is JAX-like composable function transforms for PyTorch.☆1,416Updated this week
- ☆771Updated last year
- Turning SymPy expressions into PyTorch modules.☆146Updated last year
- Lagrangian Neural Networks☆483Updated 8 months ago
- Tools for extracting tables and results from Machine Learning papers☆400Updated 2 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆332Updated 5 years ago
- Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support☆218Updated 4 years ago
- Constrained optimization toolkit for PyTorch☆670Updated 3 years ago
- Hardware accelerated, batchable and differentiable optimizers in JAX.☆955Updated this week