☆23Aug 27, 2025Updated 8 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 8 months ago
- Unofficial Placement information bulletin for Manipal Institute of Technology☆10Jan 5, 2024Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Bleeding edge low level Rust binding for GGML☆17Jun 26, 2024Updated last year
- ☆15Oct 31, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Dec 26, 2018Updated 7 years ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated 2 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- SynthTextEval: A Toolkit for Generating and Evaluating Synthetic Data For High-Stakes Domains (EMNLP 2025 System Demonstration)☆27Nov 3, 2025Updated 6 months ago
- Generalizing from SIMPLE to HARD Visual Reasoning: Can We Mitigate Modality Imbalance in VLMs?☆19Jun 3, 2025Updated 11 months ago
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆20Feb 7, 2025Updated last year
- 展示 Segment Anything 模型能力的示例项目☆11Jun 18, 2023Updated 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
- Implementation of Siamese CBOW using keras whose backend is tensorflow.☆12Feb 2, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Compression for unit-norm embedding vectors using spherical coordinates☆81Jan 23, 2026Updated 3 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
- Github repo for Peifeng's internship project☆13Nov 7, 2023Updated 2 years ago
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 7 years ago
- ProxyExplainer for Graph Neural Networks☆15Oct 24, 2024Updated last year
- A work in progress. Forever.☆54Updated this week
- A benchmark for evaluating reinforcement learning algorithms that train the policies using imaginary rollouts from LLMs.☆14Nov 4, 2025Updated 6 months ago
- ☆36Feb 20, 2025Updated last year
- 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.
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 6 months ago
- Efficient kernel for RMS normalization with fused operations, includes both forward and backward passes, compatibility with PyTorch.☆13Jun 5, 2024Updated last year
- Training and testing code from our CVPR 2023 paper "Are Deep Neural Networks SMARTer than Second Graders?"☆11Aug 10, 2023Updated 2 years ago
- ☆18Apr 10, 2025Updated last year
- KnowRL: Exploring Knowledgeable Reinforcement Learning for Factuality☆44Dec 1, 2025Updated 5 months ago
- design patterns based on the examples at http://www.tutorialspoint.com/design_pattern/☆10Sep 21, 2015Updated 10 years ago
- ☆10Jun 11, 2023Updated 2 years ago
- Subscribe to a public Notion page for changes and run a command on every detected change☆13Apr 6, 2021Updated 5 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 4 months ago
- 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.
- Implementation of Logic-RAG☆18May 16, 2025Updated 11 months ago
- Official Repository for Efficient Linear-Time Attention Transformers.☆18Jun 2, 2024Updated last year
- The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".☆13Oct 13, 2021Updated 4 years ago
- llama.cpp fork with TQ3_1S/4S CUDA kernels — 3.5-bit WHT quantization achieving Q4s quality at 10% smaller size. Based on RaBitQ-inspired…☆160Apr 24, 2026Updated 2 weeks ago
- ☆11Feb 4, 2020Updated 6 years ago
- GeneticPromptLab uses genetic algorithms for automated prompt engineering (for LLMs), enhancing quality and diversity through iterative s…☆34Jun 21, 2024Updated last year
- code for kdd feasibiiity☆12Jul 17, 2023Updated 2 years ago