MatveevDaniil / PatternJoinLinks
package for exact edit similarity joins
☆13Updated last year
Alternatives and similar repositories for PatternJoin
Users that are interested in PatternJoin are comparing it to the libraries listed below
Sorting:
- Domain Specific Language for the Abstraction and Reasoning Corpus☆318Updated last year
- Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax☆693Updated last week
- Tool for data extraction and interacting with Lean programmatically.☆758Updated 2 weeks ago
- ☆551Updated 2 years ago
- A collection of formalized statements of conjectures in Lean.☆812Updated this week
- ☆517Updated this week
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,860Updated 7 months ago
- Open-source framework for the research and development of foundation models.☆742Updated last week
- METR Task Standard☆172Updated last year
- ☆200Updated 3 years ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆331Updated 11 months ago
- Formal to Formal Mathematics Benchmark☆413Updated 2 years ago
- Draw more samples☆198Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,218Updated 3 weeks ago
- Einsum with einops style variable names☆18Updated last year
- Kimina Lean server (+ client SDK)☆174Updated 3 weeks ago
- Training Sparse Autoencoders on Language Models☆1,193Updated this week
- Retrieval-Augmented Theorem Provers for Lean☆316Updated last year
- ☆481Updated last year
- OpenDiLoCo: An Open-Source Framework for Globally Distributed Low-Communication Training☆562Updated last year
- The nnsight package enables interpreting and manipulating the internals of deep learned models.☆800Updated this week
- ☆83Updated 7 months ago
- 🧱 Modula software package☆322Updated 5 months ago
- ControlArena is a collection of settings, model organisms and protocols - for running control experiments.☆150Updated last week
- ☆558Updated last year
- [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards☆1,326Updated 3 weeks ago
- ☆483Updated 6 months ago
- ☆289Updated last year
- Deep learning for dummies. All the practical details and useful utilities that go into working with real models.☆829Updated 6 months ago
- Sparsify transformers with SAEs and transcoders☆688Updated last week