[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
- Official codebase for our NeurIPS paper, Symmetry-Informed Governing Equation Discovery.☆11Nov 13, 2024Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Video-R2: Reinforcing Consistent and Grounded Reasoning in Multimodal Language Models☆19Jan 21, 2026Updated 7 months ago
- Connecting bv_decide to SMTLIB.☆16Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Official implementation of "VideoZeroBench: Probing the Limits of Video MLLMs with Spatio-Temporal Evidence Verification"☆26May 7, 2026Updated 3 months ago
- TruthRL: Incentivizing Truthful LLMs via Reinforcement Learning☆19Dec 10, 2025Updated 8 months ago
- [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
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 7 months ago
- ☆20May 23, 2025Updated last year
- Reinforcement learning environment for MIMO communications.☆15Jul 2, 2021Updated 5 years ago
- ☆19Oct 20, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This is the repository for paper `Learning Task-Aware Effective Brain Connectivity for fMRI Analysis with Graph Neural Networks'.☆14Nov 22, 2023Updated 2 years ago
- [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
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- a website for accessing many models through api（deepseek、Qwen、Hunyuan etc.）☆16Jul 12, 2025Updated last year
- Data and codes for EMNLP 2022 paper "CDConv: A Benchmark for Contradiction Detection in Chinese Conversations"☆13May 8, 2023Updated 3 years ago
- AAAI23-Directed Acyclic Graph Structure Learning from Dynamic Graphs☆12Nov 25, 2022Updated 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
- 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.
- [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
- Fuzzy cognitive maps python library☆11Jan 14, 2022Updated 4 years ago
- JAX implementation of configurable LLM distillation training☆24Nov 15, 2025Updated 9 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- 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
- ☆11Mar 3, 2026Updated 5 months ago
- A Lean-embedded framework to verify Verilog modules☆15Aug 15, 2026Updated 2 weeks ago
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [ICLR 2026] BARREL: Boundary-Aware Reasoning for Factual and Reliable LRMs☆18May 21, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- iEDA water-drop training initiative☆13Sep 10, 2024Updated last year
- Code for RACE.☆15Nov 12, 2025Updated 9 months ago
- ☆17Jul 10, 2025Updated last year
- ☆13Nov 7, 2023Updated 2 years ago
- Python version of tools to work with AIG formatted files☆13May 20, 2025Updated last year