StanfordVL / sail-blogLinks
The SAIL blog
☆12Updated last week
Alternatives and similar repositories for sail-blog
Users that are interested in sail-blog are comparing it to the libraries listed below
Sorting:
- ☆52Updated 4 months ago
- ☆17Updated last week
- ☆16Updated this week
- The application is a end-user training and evaluation system for standard knowledge graph embedding models. It was developed to optimise …☆18Updated 6 months ago
- ☆45Updated last year
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆13Updated 2 years ago
- Python wrapper for lean-gym☆12Updated 2 years ago
- Work in progress! I don't recommend looking at the code right now.☆24Updated last week
- ☆163Updated 3 weeks ago
- Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"☆40Updated last year
- ☆12Updated last year
- AI-driven discovery of new Gravitational Wave Detectors☆25Updated last year
- A Mechanistic Interpretability Analysis of Grokking☆23Updated 3 years ago
- 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
- Modelling the new Lead-Copper apatite proposed room temperature supeconductor☆32Updated 2 years ago
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated 2 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 11 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆43Updated 6 months ago
- ☆62Updated 5 months ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆30Updated 4 months ago
- Understanding how features learned by neural networks evolve throughout training☆40Updated last year
- an overview of decentralized science events and meetups☆15Updated 2 years ago
- The NDIF server, which performs deep inference and serves nnsight requests remotely☆36Updated this week
- ☆262Updated 3 months ago
- Bayesian scaling laws for in-context learning.☆15Updated 9 months ago
- Formalizing stochastic doubly-efficient debate☆114Updated last year
- Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.☆15Updated last year
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆13Updated last year
- LLMs + Lean, on your laptop or in the cloud☆195Updated 2 months ago