[ACL'26] Official Repository for for paper "Data-Efficient RLVR via Off-Policy Influence Guidance"
☆25Jul 26, 2026Updated last month
Alternatives and similar repositories for CROPI
Users that are interested in CROPI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code of EMNLP 2025 paper 'UltraIF: Advancing Instruction Following from the Wild'.☆21Apr 3, 2025Updated last year
- ☆24Jun 16, 2026Updated 3 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Video-R2: Reinforcing Consistent and Grounded Reasoning in Multimodal Language Models☆19Sep 5, 2026Updated 2 weeks ago
- Official implementation of "VideoZeroBench: Probing the Limits of Video MLLMs with Spatio-Temporal Evidence Verification"☆26May 7, 2026Updated 4 months 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.
- [ICLR' 26] Implementation of "Curriculum Reinforcement Learning from Easy to Hard Tasks Improves LLM Reasoning"☆24May 28, 2026Updated 3 months ago
- ☆20Dec 14, 2024Updated last year
- CVPR 2025 Accepted Papers☆26Dec 20, 2025Updated 8 months ago
- ☆20May 23, 2025Updated last year
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 8 months ago
- Code and models for EMNLP 2024 paper "WPO: Enhancing RLHF with Weighted Preference Optimization"☆41Sep 24, 2024Updated last year
- ☆19Oct 20, 2024Updated last year
- [ACL 2025] LongSafety: Evaluating Long-Context Safety of Large Language Models☆16Jun 18, 2025Updated last year
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- Data and codes for EMNLP 2022 paper "CDConv: A Benchmark for Contradiction Detection in Chinese Conversations"☆13May 8, 2023Updated 3 years ago
- Squeeze verbose LLM agent tool output down to only the relevant lines☆23Apr 27, 2026Updated 4 months ago
- The repo for using the model https://huggingface.co/thu-coai/Attacker-v0.1☆13Apr 23, 2025Updated last year
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 4 months ago
- JAX implementation of configurable LLM distillation training☆24Nov 15, 2025Updated 10 months ago
- ☆16Apr 3, 2024Updated 2 years ago
- Official code for "DiffLens: Dissecting and Mitigating Diffusion Bias via Mechanistic Interpretability" (CVPR 2025)☆17Jun 13, 2025Updated last year
- 2022 秋季学期清华大学电子系数据与算法课程 OJ 参考解答☆10Jun 18, 2023Updated 3 years 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.
- A Lean-embedded framework to verify Verilog modules☆15Updated this week
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- [ICLR 2026] BARREL: Boundary-Aware Reasoning for Factual and Reliable LRMs☆18May 21, 2025Updated last year
- ☆17Jul 2, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- Code for RACE.☆15Nov 12, 2025Updated 10 months ago
- iEDA water-drop training initiative☆14Sep 10, 2024Updated 2 years ago
- We systematically studied the influencing factors when LLM generates benchmarks,By using our code, you can generate high-quality QA datas…☆20May 20, 2025Updated last year
- ☆13Nov 7, 2023Updated 2 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.
- Python version of tools to work with AIG formatted files☆13Sep 7, 2026Updated last week
- A tool for checking the contract satisfaction for hardware designs☆12Jul 21, 2026Updated last month
- Diagram-first LLM architecture, memory, hardware-fit, throughput, and verified cloud-cost explorer.☆22Aug 24, 2026Updated 3 weeks ago
- WDEL是一个基于Wikidata知识库的实体链接系统。☆11Feb 12, 2025Updated last year
- ☆16Jul 3, 2023Updated 3 years ago
- https://scale.com/research/mrt☆20Mar 16, 2026Updated 6 months ago
- 2023龙芯杯mips赛道作品☆14Dec 23, 2023Updated 2 years ago