A 7B parameter model for mathematical reasoning
☆42Feb 17, 2025Updated last year
Alternatives and similar repositories for INTELLECT-MATH
Users that are interested in INTELLECT-MATH are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A nodejs script for the scrapping and reservation of rooms or flats in the Wg-gesucht site.☆16May 10, 2021Updated 4 years ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated 6 months ago
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆54Apr 14, 2025Updated last year
- codebase release for EMNLP2023 paper publication☆19Sep 18, 2025Updated 7 months ago
- Solidity contracts for the decentralized Prime Network protocol☆26Jul 6, 2025Updated 9 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.
- ☆138Mar 20, 2025Updated last year
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆43Jun 9, 2025Updated 10 months ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆72Feb 25, 2025Updated last year
- Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…☆191Updated this week
- Modern development with Python in 2024☆12Updated this week
- ☆23Oct 4, 2023Updated 2 years ago
- ☆13Nov 26, 2021Updated 4 years ago
- [AAAI 2025] Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems☆13May 5, 2025Updated 11 months ago
- LaTeX Beamer template crafted for University of Illinois Chicago☆11Dec 7, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Two-stage routing with Optimized Guided search and Greedy algorithm☆10Sep 27, 2023Updated 2 years ago
- Code for our EMNLP-2023 paper: "Active Instruction Tuning: Improving Cross-Task Generalization by Training on Prompt Sensitive Tasks"☆25Nov 16, 2023Updated 2 years ago
- Modded vLLM to run pipeline parallelism over public networks☆40May 20, 2025Updated 11 months ago
- A suite of tools to store and retrieve binary data in DNS records, and a browser that can surf pages served over DNS instead of HTTP☆20Sep 13, 2021Updated 4 years ago
- DSPy prompt optimization demo from AI Tinkerers presentation☆18Aug 15, 2025Updated 8 months ago
- jupyter notebooks to fine tune whisper models on Vietnamese using Colab and/or Kaggle and/or AWS EC2☆20Aug 15, 2025Updated 8 months ago
- A lightweight adjustment tool for smoothing token probabilities in the Qwen models to encourage balanced multilingual generation.☆105Jul 9, 2025Updated 9 months ago
- Official code for "SWARM Parallelism: Training Large Models Can Be Surprisingly Communication-Efficient"☆149Dec 11, 2023Updated 2 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Top Picks for Data Science Self-Study: From Newbies to Pros!☆11Apr 2, 2024Updated 2 years ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆136Nov 10, 2025Updated 5 months ago
- OpenDiLoCo: An Open-Source Framework for Globally Distributed Low-Communication Training☆570Jan 13, 2025Updated last year
- Reinforcement learning in pure JAX.☆13Dec 24, 2025Updated 4 months ago
- Manage ML configuration with pydantic☆16Mar 18, 2026Updated last month
- Official codebase for the ACL 2025 Findings paper: Optimized Text Embedding Models and Benchmarks for Amharic Passage Retrieval.☆21Jul 26, 2025Updated 9 months ago
- Evaluation metrics to compare AMR graphs based on Smatch☆29Feb 10, 2020Updated 6 years ago
- Scalable RL solution for advanced reasoning of language models☆1,852Mar 18, 2025Updated last year
- Chat with Excel / CSV Data.☆14Mar 22, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆21Oct 6, 2021Updated 4 years ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Different approaches for finetuning, evaluating, optimizations for code generation model - codestral☆11Jun 18, 2024Updated last year
- Vert.x 2.x is deprecated - use instead☆77Nov 2, 2016Updated 9 years ago
- PyTorch implementation of Hinton's FF Algorithm with hard negatives sampling☆15Dec 19, 2022Updated 3 years ago
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Mar 17, 2023Updated 3 years ago
- ☆66Nov 4, 2019Updated 6 years ago