Self-Improving LLMs Through Recursive Problem Decomposition
☆26Aug 27, 2025Updated last year
Alternatives and similar repositories for ladder
Users that are interested in ladder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extending NERDA Library for Continual Learning☆11Mar 31, 2024Updated 2 years ago
- Alternative implementation of the coreference scorer for the CoNLL-2011/2012 shared tasks on coreference resolution☆11Apr 29, 2021Updated 5 years ago
- Information-oriented Metric (IOM)☆11Sep 2, 2020Updated 6 years ago
- LLMs playing chess are sensitive to how the position came to be☆25Feb 14, 2024Updated 2 years ago
- Unofficial Placement information bulletin for Manipal Institute of Technology☆10Jan 5, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Oct 11, 2022Updated 3 years ago
- CodemixedNLP: An Extensible and Open NLP Toolkit for Code-Switching☆18Mar 29, 2021Updated 5 years ago
- Code repository for "Eliciting Secret Knowledge from Language Models"☆24Mar 30, 2026Updated 5 months ago
- Bleeding edge low level Rust binding for GGML☆18Jun 26, 2024Updated 2 years ago
- ☆14Oct 31, 2023Updated 2 years ago
- ☆11Dec 26, 2018Updated 7 years ago
- ☆11Nov 8, 2023Updated 2 years ago
- Efficient kernel for RMS normalization with fused operations, includes both forward and backward passes, compatibility with PyTorch.☆13Jun 5, 2024Updated 2 years ago
- ☆20Apr 10, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆23Mar 24, 2025Updated last year
- ☆11Feb 4, 2020Updated 6 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- Life before `main()`☆19Feb 2, 2021Updated 5 years ago
- ☆10Jun 11, 2023Updated 3 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆87Sep 8, 2026Updated 2 weeks ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years ago
- The official code of TACL 2022, "Break, Perturb, Build: Automatic Perturbation of Reasoning Paths Through Question Decomposition".☆12Oct 18, 2021Updated 4 years ago
- Code for "Demonstration-free Autonomous Reinforcement Learning via Implicit and Bidirectional Curriculum" (ICML 2023)☆10Jul 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Evaluation Pipeline for medical tasks.☆11Apr 8, 2026Updated 5 months ago
- ☆10Nov 16, 2023Updated 2 years ago
- Log-structured merge-tree implementation in Rust☆19Nov 6, 2018Updated 7 years ago
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆43Jan 18, 2026Updated 8 months ago
- AdaptKeyBERT: keyword/keyphrase extraction with zero-shot and few-shot semi-supervised domain adaptation☆26Sep 22, 2024Updated 2 years ago
- Official repo for "SE-Bench: Benchmarking Self-Evolution with Knowledge Internalization"☆29Mar 24, 2026Updated 6 months ago
- The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…☆13May 19, 2025Updated last year
- ☆13Dec 18, 2023Updated 2 years ago
- Code for ProTrix: Building Models for Planning and Reasoning over Tables with Sentence Context☆17Nov 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".☆13Oct 13, 2021Updated 4 years ago
- ☆25Mar 30, 2026Updated 5 months ago
- Implementation of the dilated self attention as described in "LongNet: Scaling Transformers to 1,000,000,000 Tokens"☆13Jul 23, 2023Updated 3 years ago
- ☆20Dec 18, 2022Updated 3 years ago
- ☆18Feb 20, 2025Updated last year
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 11 months ago
- Fast and trainable tokenizer for natural languages relying on maximum entropy methods.☆22May 2, 2017Updated 9 years ago