Alternatives and similar repositories for sail-blog

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

• leonard-gleyzer / connex
  Fine-grained, dynamic control of neural network topology in JAX.
  ☆21Updated 2 years ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆59Updated this week
• harmonic-ai / IMO2025
  ☆54Updated 5 months ago
• Stanford-Blockchain-Club / treehouse-sdk
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Updated 10 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• sophiaas / spectral-universality
  Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
  ☆40Updated last year
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated 3 weeks ago
• aidotse / LeakPro
  ☆17Updated this week
• graphcore / distributed-kge-poplar
  The application is a end-user training and evaluation system for standard knowledge graph embedding models. It was developed to optimise …
  ☆18Updated 7 months ago
• Vis4SciML / Landscaper
  Landscaper is a comprehensive Python framework designed for exploring the loss landscapes of deep learning models.
  ☆20Updated last month
• collinskatie / checkmate
  ☆45Updated last year
• artificial-scientist-lab / GWDetectorZoo
  AI-driven discovery of new Gravitational Wave Detectors
  ☆25Updated 2 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• elicit / fave-dataset
  Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"
  ☆13Updated last year
• PolymathicAI / xVal
  Repository for code used in the xVal paper
  ☆147Updated last year
• OpenwaterHealth / opw_neuromod_hw
  Openwater's Open-Source Neuromodulation Hardware
  ☆21Updated last year
• OpenGPTX / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆12Updated 5 months ago
• oripress / AlgoTune
  AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…
  ☆81Updated this week
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆13Updated 2 years ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆178Updated last month
• CERN / Quantumacy
  ☆14Updated last year
• AndPotap / einsum-search
  ☆33Updated last year
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated 2 years ago
• lhenriet / cirq-pasqal
  Tutorials and documentation for working with Pasqal classes in cirq
  ☆10Updated 5 years ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆28Updated 8 months ago
• varunshenoy / coauthor
  Convert natural language to LaTeX within Overleaf using LLMs
  ☆120Updated 2 years ago
• toponets / toponets
  pre-trained topographic models
  ☆13Updated 4 months ago
• chagaz / sdd_2024
  Cours de science des données en 1A à Mines Paris - PSL (2024)
  ☆14Updated last year
• jkminder / SALSA-CLRS
  Implementation of "SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning". SALSA-CLRS is an extension to the original clr…
  ☆21Updated 2 years ago