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:
- This is the oficial repository for "Safer-Instruct: Aligning Language Models with Automated Preference Data"☆17Feb 22, 2024Updated 2 years ago
- [ACL 2026 oral] SeLaR: Selective Latent Reasoning in Large Language Models☆20Apr 25, 2026Updated 2 months ago
- When Reasoning Meets Its Laws☆38Jan 2, 2026Updated 6 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆15Updated this week
- [ICML 2025] Code for "R2-T2: Re-Routing in Test-Time for Multimodal Mixture-of-Experts"☆19Mar 10, 2025Updated last year
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 6 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆189Jul 23, 2025Updated 11 months ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆16Jun 4, 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 2 months ago
- Jointly Optimizing Large Language Models for Reasoning and Self-Refinement☆15Apr 22, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- bootstrap my zsh shell☆16Mar 28, 2026Updated 3 months ago
- A Lean-embedded framework to verify Verilog modules☆15Jul 3, 2026Updated 2 weeks ago
- CE-GPPO: Controlling Entropy via Gradient-Preserving Clipping Policy Optimization in Reinforcement Learning☆16Jan 23, 2026Updated 5 months ago
- Source code for SWIFT, an efficient reward model.☆21Jan 13, 2026Updated 6 months ago
- ☆17Jul 2, 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☆14Sep 10, 2024Updated last year
- Wan: Open and Advanced Large-Scale Video Generative Models☆31Jul 28, 2025Updated 11 months ago
- Source code of "Reasons to Reject? Aligning Language Models with Judgments"☆58Feb 29, 2024Updated 2 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.
- 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☆12Jun 22, 2026Updated 3 weeks ago
- A repository for awesome resources in mechanistic interpretability☆16Jan 18, 2023Updated 3 years ago
- ☆16Jul 3, 2023Updated 3 years 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
- ☆17Feb 9, 2026Updated 5 months ago
- [ACL 2025 main] SCAR: Data Selection via Style Consistency-Aware Response Ranking for Efficient Instruction-Tuning of Large Language Mode…☆39Aug 6, 2025Updated 11 months ago
- [COLING 2022]: CommunityLM: Probing Partisan Worldviews from Language Models☆14Jan 31, 2023Updated 3 years ago
- [NeurIPS 2024] Low rank memory efficient optimizer without SVD☆33Jul 1, 2025Updated last year
- 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.
- LLM4HWDesign Starting Toolkit☆19Oct 4, 2024Updated last year
- Graph-based neural tactic prediction models for Coq.☆18Sep 17, 2025Updated 10 months ago
- This repository facilitates the creation of Python wheel files (.whl) from the tiny-cuda-nn project to streamline the installation proces…☆12Jul 2, 2025Updated last year
- [ACL 2024] Code for the paper "ALaRM: Align Language Models via Hierarchical Rewards Modeling"☆25Mar 28, 2024Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- This repository collects lecture slides, assignments (CAs), code notebooks, reports, and reference papers used in the "Deep Generative Mo…☆20Feb 14, 2026Updated 5 months ago
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year