Alternatives and similar repositories for sail-blog

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

• JasonGross / guarantees-based-mechanistic-interpretability
  ☆16Updated last week
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• collinskatie / checkmate
  ☆45Updated last year
• EleutherAI / features-across-time
  Understanding how features learned by neural networks evolve throughout training
  ☆39Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• sophiaas / spectral-universality
  Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
  ☆38Updated last year
• 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 5 months ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆27Updated 6 months ago
• 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
• artificial-scientist-lab / GWDetectorZoo
  AI-driven discovery of new Gravitational Wave Detectors
  ☆25Updated last year
• artificial-scientist-lab / FutureOfAIviaAI
  Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network
  ☆79Updated last year
• neelnanda-io / Grokking
  A Mechanistic Interpretability Analysis of Grokking
  ☆22Updated 3 years ago
• DSiSc / why3
  mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…
  ☆12Updated 7 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• epoch-research / ftm
  Work in progress! I don't recommend looking at the code right now.
  ☆24Updated 5 months ago
• openreview / openreview-web
  The official web interface for OpenReview.net
  ☆45Updated last week
• varunshenoy / coauthor
  Convert natural language to LaTeX within Overleaf using LLMs
  ☆120Updated 2 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• ActiveInferenceInstitute / ActiveInferenceJournal
  Content of the Active Inference Journal
  ☆41Updated 2 weeks ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆71Updated 9 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
• CERN / Quantumacy
  ☆14Updated last year
• CosineAI / experiments
  Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.
  ☆15Updated last year
• neoneye / ARC-Interactive
  Enjoy puzzle-solving directly in your browser.
  ☆31Updated 6 months ago
• soran-ghaderi / torchebm
  🍓 Build and train energy-based and diffusion models in PyTorch ⚡.
  ☆55Updated 2 weeks ago
• leonard-gleyzer / connex
  Fine-grained, dynamic control of neural network topology in JAX.
  ☆21Updated 2 years ago
• aidotse / LeakPro
  ☆16Updated this week
• uq-project / UQ
  UQ: Assessing Language Models on Unsolved Questions
  ☆26Updated 2 months ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆16Updated 2 months ago
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆30Updated 2 months ago