In this work, we investigate the compositionality of large language models (LLMs) in mathematical reasoning. Specifically, we construct a new dataset MATHTRAP‡ by introducing carefully designed logical traps into the problem descriptions of MATH and GSM8K.
☆60Mar 15, 2025Updated last year
Alternatives and similar repositories for MathTrap
Users that are interested in MathTrap 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 minimal beamer theme for UNC Chapel Hill☆11Sep 4, 2018Updated 8 years ago
- ☆30Dec 27, 2024Updated last year
- The official repository of the Omni-MATH benchmark.☆92Dec 22, 2024Updated last year
- A (growing) collection of useful abstractions and implementations for research.☆17Jan 20, 2020Updated 6 years ago
- Digital image analysis using discrete Morse theory and persistent homology☆31Nov 9, 2025Updated 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.
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- An Ultra-Long Output Reinforcement Learning Approach☆23Jul 31, 2025Updated last year
- From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.☆26Oct 7, 2025Updated last year
- Shard is an Archetype-based Entity Component System implemented in Rust.☆13Sep 12, 2023Updated 3 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 4 years ago
- APPIAN is an open-source automated software pipeline for analyzing PET images in conjunction with MRI. The goal of APPIAN is to make PET …☆42Aug 23, 2024Updated 2 years ago
- A simple way to parse a string using type annotations☆13Jul 28, 2022Updated 4 years ago
- A simple tool to clean all projects in a directory.☆13Jan 24, 2023Updated 3 years ago
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 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.
- Rust NonEmpty slice☆13Jul 5, 2021Updated 5 years ago
- ☆47Mar 23, 2018Updated 8 years ago
- Exit cleanly with an exit code.☆12May 2, 2026Updated 6 months ago
- Torrent searching Rust library☆15May 20, 2021Updated 5 years ago
- Kaiju - Modern Assembly Language☆14Nov 15, 2019Updated 6 years ago
- Framework for reading and writing to binary files☆18Jul 13, 2019Updated 7 years ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 6 years ago
- HAMT implementation whose sub-trees can be shared over threads☆10Updated this week
- Utilities for things like ApiKeys or SessionIds☆13Sep 17, 2018Updated 8 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.
- Print bytes as losslessly as possible.☆19Sep 6, 2025Updated last year
- A game written in Rust☆10Apr 29, 2017Updated 9 years ago
- ☆11Nov 5, 2020Updated 6 years ago
- Bindings to TinyGL, a Small, Free and Fast Subset of OpenGL☆13Dec 1, 2022Updated 3 years ago
- Official implementation for Dessurt: Document end-to-end self-supervised understanding and recognition transformer☆63Jan 11, 2023Updated 3 years ago
- A fast, safe, and portable implementation of HighwayHash for Rust☆18Jun 6, 2023Updated 3 years ago
- Godot Dungeon Wave Game☆12Feb 21, 2018Updated 8 years ago
- A Minimalistic ASCII/Tiled Game Engine☆10Aug 6, 2025Updated last year
- Functions for determining terminal sizes in Rust☆14Oct 24, 2026Updated 2 weeks ago
- 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.
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 7 years ago
- A very simple shooter game made in Godot 3 using C#☆10Mar 5, 2018Updated 8 years ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- A simple image viewer and cropper☆14Apr 22, 2022Updated 4 years ago
- ☆10May 12, 2023Updated 3 years ago
- A command line interface for rxing☆10Mar 1, 2023Updated 3 years ago
- Like C and C++ but with Dependent Types☆11Jan 18, 2026Updated 9 months ago
Are these results useful?