khalil-research / 1D-ARC
☆26Updated last year
Alternatives and similar repositories for 1D-ARC:
Users that are interested in 1D-ARC are comparing it to the libraries listed below
- Bootstrapping ARC☆115Updated 5 months ago
- ☆33Updated last year
- Multiple datasets for ARC (Abstraction and Reasoning Corpus)☆66Updated last month
- Materials for ConceptARC paper☆92Updated 6 months ago
- ☆27Updated 8 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated 10 months ago
- ☆19Updated 2 months ago
- ☆91Updated 10 months ago
- Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models☆48Updated last week
- Language-annotated Abstraction and Reasoning Corpus☆86Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆145Updated 3 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆82Updated last month
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆64Updated 8 months ago
- Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"☆153Updated 5 months ago
- ☆33Updated last year
- ☆34Updated last year
- ☆23Updated last year
- A library for efficient patching and automatic circuit discovery.☆64Updated 2 weeks ago
- ☆12Updated 3 months ago
- 👻 Code and benchmark for our EMNLP 2023 paper - "FANToM: A Benchmark for Stress-testing Machine Theory of Mind in Interactions"☆55Updated 11 months ago
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆104Updated last year
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated 11 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆77Updated last month
- ☆20Updated last year
- ☆25Updated 8 months ago
- Benchmarking Agentic LLM and VLM Reasoning On Games☆138Updated last week
- ☆27Updated last year
- ☆175Updated last year
- Can Language Models Solve Olympiad Programming?☆116Updated 3 months ago
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Problem Solving with Minimal Examples☆85Updated last month