A 7B parameter model for mathematical reasoning
☆44Aug 9, 2026Updated 2 months ago
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:
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated last year
- Lab Cookbook☆44Aug 5, 2026Updated 2 months ago
- ☆51Jan 18, 2024Updated 2 years ago
- ActiveSegmentation: A Simulation Framework for Benchmarking Active Learning Strategies for 3D Medical Image Segmentation☆20Jul 5, 2022Updated 4 years ago
- Formal verification of Rust code with AI-assisted specification and proof.☆21Sep 29, 2026Updated last week
- 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.
- codebase release for EMNLP2023 paper publication☆19Sep 18, 2025Updated last year
- SIMD quantization kernels☆93May 29, 2026Updated 4 months ago
- ☆139Mar 20, 2025Updated last year
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated 2 months ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆77Feb 25, 2025Updated last year
- Implementation of the paper "Large Language Models as Simulated Economic Agents: What Can We Learn from Homo Silicus?"☆25May 12, 2024Updated 2 years ago
- Benchmark your GPU with ease☆34Dec 27, 2025Updated 9 months ago
- [SOML'21] Reference material, tutorial notebooks and other resources for Summer of ML, organised by AIMLC IITD.☆10Jul 4, 2021Updated 5 years ago
- Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)☆22Aug 10, 2022Updated 4 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.
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆61Sep 4, 2026Updated last month
- Python package for compressing floating-point PyTorch tensors☆14Jul 22, 2024Updated 2 years ago
- ☆10Dec 21, 2024Updated last year
- Real-time terminal monitor for InfiniBand networks - htop for high-speed interconnects☆142Sep 3, 2026Updated last month
- Modern development with Python in 2024☆12Aug 17, 2026Updated last month
- Evaluating GPT-OSS on BrowseComp-Plus with Native Browsering Tools☆20Oct 17, 2025Updated 11 months ago
- tools and benchmarks for verified coding☆35Jun 5, 2026Updated 4 months ago
- ☆13Oct 29, 2021Updated 4 years ago
- Two-stage routing with Optimized Guided search and Greedy algorithm☆10Sep 27, 2023Updated 3 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.
- Monocular Depth Estimation using Atrous Convolutions☆11Apr 5, 2019Updated 7 years ago
- Code for our EMNLP-2023 paper: "Active Instruction Tuning: Improving Cross-Task Generalization by Training on Prompt Sensitive Tasks"☆26Nov 16, 2023Updated 2 years ago
- The code for Generative Locally Linear Embedding (GLLE).☆14Nov 4, 2021Updated 4 years ago
- KV cache compression via sparse coding☆18Oct 26, 2025Updated 11 months ago
- [AAAI 2025] Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems☆13May 5, 2025Updated last year
- Sort tailwind className strings by a given order-config☆11Jul 4, 2026Updated 3 months ago
- book for Halide language programming☆13Sep 8, 2021Updated 5 years ago
- Agentic Deep Graph Reasoning Implementation☆14Mar 4, 2025Updated last year
- Code implementing the experiments described in the NeurIPS 2018 paper "With Friends Like These, Who Needs Adversaries?".☆13Sep 11, 2020Updated 6 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.
- Ludic – an LLM-RL library for the era of experience☆67Aug 9, 2026Updated 2 months ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆53Jul 28, 2026Updated 2 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated 2 years ago
- LaTeX Beamer template crafted for University of Illinois Chicago☆12Sep 9, 2026Updated last month
- A lightweight adjustment tool for smoothing token probabilities in the Qwen models to encourage balanced multilingual generation.☆109Jul 9, 2025Updated last year
- Locally Linear Meta Embedding☆12Dec 12, 2018Updated 7 years ago
- Official code for "SWARM Parallelism: Training Large Models Can Be Surprisingly Communication-Efficient"☆150Dec 11, 2023Updated 2 years ago