☆382Dec 1, 2021Updated 4 years ago
Alternatives and similar repositories for mathematics_conjectures
Users that are interested in mathematics_conjectures are comparing it to the libraries listed below
Sorting:
- Official repository for the paper: "Trees with Attention for Set Prediction Tasks" (ICML21)☆10Jan 19, 2022Updated 4 years ago
- Official code for "Accelerating Feedforward Computation via Parallel Nonlinear Equation Solving", ICML 2021☆29Sep 25, 2021Updated 4 years ago
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Aug 12, 2021Updated 4 years ago
- Supplementary Data for Evolving Reinforcement Learning Algorithms☆47Mar 15, 2021Updated 4 years ago
- Fast singularity detection with kernel☆38Jan 4, 2024Updated 2 years ago
- This repository contains implementations and illustrative code to accompany DeepMind publications☆14,719Feb 20, 2026Updated last week
- EquiPy is a Python package implementing sequential fairness on the predicted outputs of Machine Learning models, addressing multiple sens…☆12Mar 7, 2025Updated 11 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆61Mar 1, 2022Updated 4 years ago
- Tool for data extraction and interacting with Lean programmatically.☆770Jan 18, 2026Updated last month
- A Graph Neural Network Library in Jax☆1,465Mar 18, 2024Updated last year
- Blueprint for the PNT+ Project☆270Updated this week
- JAX-based neural network library☆3,191Feb 24, 2026Updated last week
- Multilayer modelling of the human transcriptome and biological mechanisms of complex diseases and traits☆11Jun 2, 2021Updated 4 years ago
- Test pytorch code with minimal computational overhead☆26Jun 8, 2023Updated 2 years ago
- A library for programmatically generating equivariant layers through constraint solving☆281May 8, 2023Updated 2 years ago
- The Differentiable Cross-Entropy Method☆124Aug 14, 2020Updated 5 years ago
- This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.☆1,936Dec 23, 2024Updated last year
- Probabilistic Solution of Differential Equations☆13Jun 19, 2022Updated 3 years ago
- ☆105Feb 6, 2021Updated 5 years ago
- A basic implementation of the paper Eigengame : PCA as a Nash Equilibrium☆21Jun 7, 2021Updated 4 years ago
- Code for "Infinitely Deep Bayesian Neural Networks with Stochastic Differential Equations"☆174Feb 11, 2022Updated 4 years ago
- ☆519Updated this week
- ☆213Jan 31, 2022Updated 4 years ago
- A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>☆22Jun 21, 2021Updated 4 years ago
- Self-Similarity Priors: Neural Collages as Differentiable Fractal Representations☆29Nov 26, 2022Updated 3 years ago
- Official implementation of NeurIPS'21: Implicit SVD for Graph Representation Learning☆21Nov 4, 2021Updated 4 years ago
- ☆95Nov 12, 2023Updated 2 years ago
- Egocentric Temporal Motifs Miner☆12Nov 9, 2021Updated 4 years ago
- code for icml paper: https://arxiv.org/abs/1711.03243v3☆12Jul 8, 2018Updated 7 years ago
- Inference on non-linear dynamical systems written in JAX☆11Aug 20, 2020Updated 5 years ago
- ☆13Feb 16, 2021Updated 5 years ago
- Re-implementation of 'Grokking: Generalization beyond overfitting on small algorithmic datasets'☆38Dec 4, 2021Updated 4 years ago
- List of papers studying machine learning through the lens of category theory☆1,493Feb 16, 2026Updated 2 weeks ago
- http://nlp.seas.harvard.edu/2018/04/03/attention.html☆63May 20, 2021Updated 4 years ago
- ☆32Aug 22, 2020Updated 5 years ago
- The official implementation of Convergent Graph Solvers (CGS)☆21Feb 1, 2022Updated 4 years ago
- A platform for managing machine learning experiments☆898Feb 6, 2026Updated 3 weeks ago
- ☆25Jul 15, 2021Updated 4 years ago
- Code and resources on scalable and efficient Graph Neural Networks (TNNLS 2023)☆537Feb 4, 2023Updated 3 years ago