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
  ☆54Updated 5 months ago
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated 3 weeks ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆59Updated this week
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• liugangcode / deepevolve
  DeepEvolve is a research and coding agent for new algorithm discovery in different science domains with Deep Research and AlphaEvolve.
  ☆114Updated 3 months ago
• 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
• sophiaas / spectral-universality
  Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
  ☆40Updated last year
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆31Updated 5 months ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated 2 years ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆28Updated 8 months ago
• mcbal / spin-model-transformers
  Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX
  ☆46Updated 2 years ago
• EleutherAI / features-across-time
  Understanding how features learned by neural networks evolve throughout training
  ☆41Updated last year
• uq-project / UQ
  UQ: Assessing Language Models on Unsolved Questions
  ☆29Updated 4 months ago
• LiibanMo / scikit-jax
  Your favourite classical machine learning algos on the GPU/TPU
  ☆20Updated 3 weeks ago
• lamm-mit / LifeGPT
  ☆66Updated 6 months ago
• collinskatie / checkmate
  ☆45Updated last year
• da03 / WildVisualizer
  ☆25Updated last month
• 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
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆13Updated 2 years ago
• ndif-team / ndif
  The NDIF server, which performs deep inference and serves nnsight requests remotely
  ☆37Updated this week
• vandijklab / Intelligence_at_the_edge_of_chaos
  ☆62Updated 10 months ago
• leonard-gleyzer / connex
  Fine-grained, dynamic control of neural network topology in JAX.
  ☆21Updated 2 years ago
• Frost-group / LeadCopperApatite
  Modelling the new Lead-Copper apatite proposed room temperature supeconductor
  ☆32Updated 2 years ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆107Updated last month
• christopher-beckham / coms-are-energy-models
  Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model
  ☆14Updated 2 years ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆178Updated last month
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• google-research / zapbench
  The Zebrafish Activity Prediction Benchmark measures progress on the problem of predicting cellular-resolution neural activity throughout…
  ☆60Updated this week
• JonathanGorard / Cosmos
  The Cosmos numerical relativity code (with unstructured AMR)
  ☆20Updated last year
• lamm-mit / Graph-Aware-Transformers
  Graph-Aware Attention for Adaptive Dynamics in Transformers
  ☆67Updated last year