StanfordVL / sail-blogLinks
The SAIL blog
☆11Updated 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:
- ☆16Updated this week
- Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"☆38Updated last year
- Python wrapper for lean-gym☆12Updated 2 years ago
- ☆45Updated 11 months ago
- Understanding how features learned by neural networks evolve throughout training☆37Updated 10 months ago
- The NDIF server, which performs deep inference and serves nnsight requests remotely☆34Updated last week
- ☆35Updated last month
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆15Updated 6 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆94Updated 5 months ago
- A Mechanistic Interpretability Analysis of Grokking☆22Updated 2 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
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated 2 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆40Updated 3 months ago
- ☆21Updated 9 months ago
- Repository for code used in the xVal paper☆144Updated last year
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆20Updated 6 months ago
- Formalizing stochastic doubly-efficient debate☆108Updated 10 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- We study toy models of skill learning.☆31Updated 7 months ago
- Generative cellular automaton-like learning environments for RL.☆19Updated 7 months ago
- The Energy Transformer block, in JAX☆59Updated last year
- Einsum-like high-level array sharding API for JAX☆35Updated last year
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆14Updated 10 months ago
- ☆141Updated 2 weeks ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Updated 2 years ago
- Quantification of Uncertainty with Adversarial Models☆30Updated 2 years ago
- The application is a end-user training and evaluation system for standard knowledge graph embedding models. It was developed to optimise …☆18Updated 3 months ago
- AlgoTune is a benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each problem, and…☆55Updated last week
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆70Updated 7 months ago
- ☆56Updated 2 months ago