Alternatives and similar repositories for mathematics_conjectures

Users that are interested in mathematics_conjectures are comparing it to the libraries listed below

• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆539Updated 3 years ago
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆371Updated last year
• google-deepmind / distrax
  ☆578Updated last month
• MilesCranmer / symbolic_deep_learning
  Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
  ☆756Updated last year
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆205Updated last year
• google-deepmind / clrs
  ☆487Updated last month
• openai / lean-gym
  ☆188Updated 2 years ago
• probml / probml-notebooks
  Notebooks for "Probabilistic Machine Learning" book
  ☆203Updated 3 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆258Updated 7 months ago
• google-deepmind / enn
  ☆312Updated 3 months ago
• google-deepmind / chex
  ☆861Updated 3 weeks ago
• facebookincubator / flowtorch
  This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…
  ☆305Updated this week
• awesome-tnns / awesome-tnns
  ☆174Updated last year
• SJ001 / AI-Feynman
  ☆689Updated 11 months ago
• nnaisense / evotorch
  Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
  ☆1,065Updated last month
• tech-srl / RASP
  An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
  ☆311Updated 9 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆672Updated 2 weeks ago
• top-quarks / ARC-solution
  Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge
  ☆157Updated 5 years ago
• probml / dynamax
  A Python package for probabilistic state space modeling with JAX
  ☆832Updated last month
• mfinzi / equivariant-MLP
  A library for programmatically generating equivariant layers through constraint solving
  ☆268Updated 2 years ago
• vopani / jaxton
  100 exercises to learn JAX
  ☆584Updated 3 years ago
• facebookresearch / MathsFromExamples
  Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…
  ☆180Updated 3 years ago
• GFNOrg / gflownet
  Generative Flow Networks
  ☆637Updated 2 years ago
• patrick-kidger / sympy2jax
  Turn SymPy expressions into trainable JAX expressions.
  ☆342Updated 2 months ago
• kach / gradient-descent-the-ultimate-optimizer
  Code for our NeurIPS 2022 paper
  ☆368Updated 2 years ago
• izmailovpavel / understandingbdl
  ☆241Updated 2 years ago
• google / ml_collections
  ML Collections is a library of Python Collections designed for ML use cases.
  ☆960Updated last month
• KindXiaoming / BIMT
  Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.
  ☆171Updated 2 years ago
• facebookresearch / salina
  a Lightweight library for sequential learning agents, including reinforcement learning
  ☆430Updated 2 years ago
• mle-infrastructure / mle-hyperopt
  Lightweight Hyperparameter Optimization 🚂
  ☆147Updated 10 months ago