MOTIF: Modular Thinking via Reinforcement Fine-tuning in LLMs
☆17Jul 6, 2025Updated last year
Alternatives and similar repositories for MOTIF
Users that are interested in MOTIF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ACL 2026 oral] SeLaR: Selective Latent Reasoning in Large Language Models☆21Apr 25, 2026Updated 3 months ago
- When Reasoning Meets Its Laws☆38Jan 2, 2026Updated 7 months ago
- Code of "Regularized Best-of-N Sampling with Minimum Bayes Risk Objective for Language Model Alignment" (2025).☆14Apr 4, 2025Updated last year
- ☆20Nov 3, 2024Updated last year
- [NeurIPS 2024] | An Efficient Recipe for Long Context Extension via Middle-Focused Positional Encoding☆22Oct 10, 2024Updated last year
- 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.
- [ICML 2025] Code for "R2-T2: Re-Routing in Test-Time for Multimodal Mixture-of-Experts"☆19Mar 10, 2025Updated last year
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆188Jul 23, 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
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 3 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- A Lean-embedded framework to verify Verilog modules☆15Updated this week
- CE-GPPO: Controlling Entropy via Gradient-Preserving Clipping Policy Optimization in Reinforcement Learning☆16Jan 23, 2026Updated 6 months ago
- Source code for SWIFT, an efficient reward model.☆21Jan 13, 2026Updated 6 months 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.
- 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
- Source code of "Reasons to Reject? Aligning Language Models with Judgments"☆58Feb 29, 2024Updated 2 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated last year
- A tool for checking the contract satisfaction for hardware designs☆12Jul 21, 2026Updated 2 weeks ago
- A repository for awesome resources in mechanistic interpretability☆16Jan 18, 2023Updated 3 years ago
- ☆21May 4, 2026Updated 3 months ago
- 🚀 Automatically convert unstructured data into a high-quality 'textbook' format, optimized for fine-tuning Large Language Models (LLMs)☆26Oct 15, 2023Updated 2 years ago
- ☆16Jul 3, 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.
- ☆15Dec 8, 2025Updated 8 months ago
- [NeurIPS 2024] Low rank memory efficient optimizer without SVD☆33Jul 1, 2025Updated last year
- [COLING 2022]: CommunityLM: Probing Partisan Worldviews from Language Models☆14Jan 31, 2023Updated 3 years ago
- LLM4HWDesign Starting Toolkit☆20Oct 4, 2024Updated last year
- [ACL 2024] Code for the paper "ALaRM: Align Language Models via Hierarchical Rewards Modeling"☆25Mar 28, 2024Updated 2 years ago
- Graph-based neural tactic prediction models for Coq.☆18Sep 17, 2025Updated 10 months ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year
- A programming language for writing constraint-based integrated circuit layout generators☆17Jun 17, 2026Updated last month
- AI Agents on 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.
- ☆16Feb 5, 2026Updated 6 months ago
- Dateset Reset Policy Optimization☆30Apr 12, 2024Updated 2 years ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆18Jul 28, 2026Updated last week
- Official implementation of the ICML 2024 paper RoSA (Robust Adaptation)☆46May 20, 2026Updated 2 months ago
- A Multi-domain Benchmark for Personalized Search Evaluation☆12Sep 7, 2023Updated 2 years ago
- ☆18Mar 25, 2026Updated 4 months ago
- Data and code for ACL 2026 Paper "Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems…☆19Apr 30, 2026Updated 3 months ago