☆386Mar 3, 2026Updated 6 months ago
Alternatives and similar repositories for mathematics_conjectures
Users that are interested in mathematics_conjectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EquiPy is a Python package implementing sequential fairness on the predicted outputs of Machine Learning models, addressing multiple sens…☆12Mar 7, 2025Updated last year
- ☆16Mar 2, 2026Updated 6 months ago
- Test pytorch code with minimal computational overhead☆26Jun 8, 2023Updated 3 years ago
- ☆192Sep 9, 2026Updated last week
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆178Aug 12, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fast singularity detection with kernel☆39Jan 4, 2024Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆81Aug 20, 2026Updated 3 weeks ago
- Probabilistic Solution of Differential Equations☆13Jun 19, 2022Updated 4 years ago
- This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.☆1,967Dec 23, 2024Updated last year
- JAX-based neural network library☆3,284Updated this week
- A library for programmatically generating equivariant layers through constraint solving☆287May 8, 2023Updated 3 years ago
- code for icml paper: https://arxiv.org/abs/1711.03243v3☆12Jul 8, 2018Updated 8 years ago
- A Graph Neural Network Library in Jax☆1,474Mar 18, 2024Updated 2 years ago
- Blueprint for the PNT+ Project☆345Aug 30, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tool for data extraction and interacting with Lean programmatically.☆836Jan 18, 2026Updated 8 months ago
- This is an article about using variational autoencoders for the generation of new data. It contains the code for generating the plots and…☆12Feb 15, 2021Updated 5 years ago
- Self-Similarity Priors: Neural Collages as Differentiable Fractal Representations☆30Nov 26, 2022Updated 3 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆15Jul 6, 2023Updated 3 years ago
- A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>☆22Jun 21, 2021Updated 5 years ago
- Supplementary Data for Evolving Reinforcement Learning Algorithms☆47Mar 15, 2021Updated 5 years ago
- The Differentiable Cross-Entropy Method☆124Aug 14, 2020Updated 6 years ago
- Kernel Identification Through Transformers☆14May 19, 2023Updated 3 years ago
- Re-implementation of 'Grokking: Generalization beyond overfitting on small algorithmic datasets'☆38Dec 4, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆26Jul 15, 2021Updated 5 years ago
- ☆104Feb 6, 2021Updated 5 years ago
- List of papers studying machine learning through the lens of category theory☆1,540Jul 29, 2026Updated last month
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 4 months ago
- Machine learning Calabi-Yau metrics with JAX☆19Jul 12, 2023Updated 3 years ago
- ☆547Sep 9, 2026Updated last week
- Let's translate works of Grothendieck☆36Aug 13, 2019Updated 7 years ago
- Code for "Infinitely Deep Bayesian Neural Networks with Stochastic Differential Equations"☆171Feb 11, 2022Updated 4 years ago
- ☆202Jan 23, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆43Oct 26, 2020Updated 5 years ago
- ☆17Jun 4, 2021Updated 5 years ago
- Inference on non-linear dynamical systems written in JAX☆11Aug 20, 2020Updated 6 years ago
- Code for Parameter Prediction for Unseen Deep Architectures (NeurIPS 2021)☆490Jul 11, 2023Updated 3 years 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
- Deep Graph Mapper: Seeing Graphs through the Neural Lens☆58Jul 6, 2023Updated 3 years ago
- ☆97Nov 12, 2023Updated 2 years ago