Alternatives and similar repositories for sail-blog

Users that are interested in sail-blog are comparing it to the libraries listed below

• harmonic-ai / IMO2025
  ☆57Updated 6 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• Frost-group / LeadCopperApatite
  Modelling the new Lead-Copper apatite proposed room temperature supeconductor
  ☆32Updated 2 years ago
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated this week
• Stanford-Blockchain-Club / treehouse-sdk
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Updated 11 months ago
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆24Updated this week
• lhenriet / cirq-pasqal
  Tutorials and documentation for working with Pasqal classes in cirq
  ☆10Updated 5 years ago
• artificial-scientist-lab / GWDetectorZoo
  AI-driven discovery of new Gravitational Wave Detectors
  ☆25Updated 2 years ago
• sophiaas / spectral-universality
  Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
  ☆40Updated 2 years ago
• neelnanda-io / Grokking
  A Mechanistic Interpretability Analysis of Grokking
  ☆26Updated 3 years ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆60Updated this week
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• collinskatie / checkmate
  ☆45Updated last year
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• Vis4SciML / Landscaper
  Landscaper is a comprehensive Python framework designed for exploring the loss landscapes of deep learning models.
  ☆20Updated this week
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆28Updated 8 months ago
• aidotse / LeakPro
  ☆18Updated this week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• google-research / tnco
  TNCO is a heuristic tool that optimizes tensor network contraction paths.
  ☆28Updated 2 months ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆18Updated 5 months ago
• EleutherAI / features-across-time
  Understanding how features learned by neural networks evolve throughout training
  ☆41Updated last year
• liugangcode / deepevolve
  DeepEvolve is a research and coding agent for new algorithm discovery in different science domains with Deep Research and AlphaEvolve.
  ☆116Updated 3 months ago
• leonard-gleyzer / connex
  Fine-grained, dynamic control of neural network topology in JAX.
  ☆21Updated 2 years ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆52Updated 7 months ago
• artificial-scientist-lab / SciMuse
  Interesting Scientific Idea Generation Using Knowledge Graphs and LLMs: Evaluations with 100 Research Group Leaders
  ☆32Updated 11 months ago
• ejmichaud / precision-ml
  ☆13Updated 2 years ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆186Updated last week
• artificial-scientist-lab / FutureOfAIviaAI
  Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network
  ☆81Updated 2 years ago
• clane9 / columnformers
  A Transformer-inspired model of the brain
  ☆21Updated last year
• IBM / graph2tac
  Graph-based neural tactic prediction models for Coq.
  ☆15Updated 4 months ago