☆23Aug 27, 2025Updated 7 months ago
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:
- ☆28Aug 27, 2025Updated 7 months ago
- Extending NERDA Library for Continual Learning☆11Mar 31, 2024Updated last year
- CodemixedNLP: An Extensible and Open NLP Toolkit for Code-Switching☆18Mar 29, 2021Updated 5 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- a collection of Gymnasium environments for saturation provers☆23Dec 25, 2025Updated 3 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆15Oct 31, 2023Updated 2 years ago
- ☆11Dec 26, 2018Updated 7 years ago
- Developing, training, and assessing the performance of a Proximal Policy Optimization (PPO) Stock Trading Agent.☆14Aug 20, 2025Updated 7 months ago
- Almost SOTA LLM architecture, with O(n) time complexity☆11Jan 19, 2025Updated last year
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- SynthTextEval: A Toolkit for Generating and Evaluating Synthetic Data For High-Stakes Domains (EMNLP 2025 System Demonstration)☆26Nov 3, 2025Updated 4 months ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- Personal Knowledge Graph - User Memory and Personality from Digital Footprint☆24Mar 12, 2026Updated 2 weeks ago
- Generalizing from SIMPLE to HARD Visual Reasoning: Can We Mitigate Modality Imbalance in VLMs?☆18Jun 3, 2025Updated 9 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆20Apr 10, 2025Updated 11 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 3 years ago
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆19Feb 7, 2025Updated last year
- Entropy Based Sampling and Parallel CoT Decoding☆17Oct 9, 2024Updated last year
- The official code of TACL 2022, "Break, Perturb, Build: Automatic Perturbation of Reasoning Paths Through Question Decomposition".☆12Oct 18, 2021Updated 4 years ago
- Compression for unit-norm embedding vectors using spherical coordinates☆79Jan 23, 2026Updated 2 months ago
- Code for "Demonstration-free Autonomous Reinforcement Learning via Implicit and Bidirectional Curriculum" (ICML 2023)☆10Jul 6, 2023Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Nov 16, 2023Updated 2 years ago
- ☆10Nov 29, 2024Updated last year
- ☆35Feb 20, 2025Updated last year
- A benchmark for evaluating reinforcement learning algorithms that train the policies using imaginary rollouts from LLMs.☆14Nov 4, 2025Updated 4 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 10 months ago
- ☆18Apr 10, 2025Updated 11 months ago
- KnowRL: Exploring Knowledgeable Reinforcement Learning for Factuality☆40Dec 1, 2025Updated 3 months ago
- design patterns based on the examples at http://www.tutorialspoint.com/design_pattern/☆10Sep 21, 2015Updated 10 years ago
- ☆13Dec 18, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for ProTrix: Building Models for Planning and Reasoning over Tables with Sentence Context☆17Nov 15, 2024Updated last year
- Subscribe to a public Notion page for changes and run a command on every detected change☆13Apr 6, 2021Updated 4 years ago
- ☆10Jun 11, 2023Updated 2 years ago
- This is the project for IRM methods☆12Sep 13, 2021Updated 4 years ago
- Official code for the paper: DRA-GRPO: Exploring Diversity-Aware Reward Adjustment for R1-Zero-Like Training of Large Language Models☆24Jan 6, 2026Updated 2 months ago
- Julia API for MLX☆14Dec 3, 2025Updated 3 months ago
- The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".☆13Oct 13, 2021Updated 4 years ago