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 11 months ago
Alternatives and similar repositories for MathTrap
Users that are interested in MathTrap are comparing it to the libraries listed below
Sorting:
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- A disjoint-sets/union-find implementation that allows for efficient iteration over the elements of a set.☆11Aug 8, 2023Updated 2 years ago
- Uses `noise-rs` library rendered to render noise to a canvas, allowing users to select and configure the utilized noise functions.☆11Nov 19, 2018Updated 7 years ago
- 🐦 spideog - Command line utility for Kraken2 reports.☆11Nov 30, 2020Updated 5 years ago
- See craftio-rs https://github.com/Twister915/craftio-rs☆11Nov 29, 2020Updated 5 years ago
- A simple snake game written in Rust using sdl2☆11May 4, 2020Updated 5 years ago
- A command line interface for rxing☆10Mar 1, 2023Updated 3 years ago
- Minimum Viable (Psuedo) Database☆10Aug 5, 2017Updated 8 years ago
- Iterator comprehension in Rust☆12Aug 3, 2020Updated 5 years ago
- Super simple lisp interpreter inspired by buildyourownlisp.com, in Rust.☆11Jun 7, 2023Updated 2 years ago
- A game written in Rust☆10Apr 29, 2017Updated 8 years ago
- Planet simulation demo☆12Nov 23, 2018Updated 7 years ago
- compile rust-like source code to x86 assembly☆14Feb 11, 2024Updated 2 years ago
- A place to improve your RFC writing skills and collaborate on writing RFCs☆10Dec 1, 2016Updated 9 years ago
- Modern, type-safe, zero-dependency Python library for serial port I/O access☆23Dec 16, 2025Updated 2 months ago
- Raytracer☆14Sep 20, 2022Updated 3 years ago
- A 2D roguelike game☆12Sep 5, 2017Updated 8 years ago
- WIP☆11Dec 13, 2022Updated 3 years ago
- A Minimalistic ASCII/Tiled Game Engine☆10Aug 6, 2025Updated 6 months ago
- A simple lexical scanner in Rust☆12Nov 8, 2020Updated 5 years ago
- Functions for determining terminal sizes in Rust☆14Feb 16, 2026Updated 2 weeks ago
- Ray Tracer written in Rust☆13Nov 22, 2021Updated 4 years ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 5 years ago
- A procedural macro to combine multiple configuration methods at compile time☆12Mar 29, 2023Updated 2 years ago
- HAMT implementation whose sub-trees can be shared over threads☆10Feb 9, 2026Updated 3 weeks ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Command line tool to download songs from Youtube☆11Jul 20, 2023Updated 2 years ago
- Diver decompression library☆11Aug 25, 2021Updated 4 years ago
- A small, fast message definition and serdes protocol with built-in field and message validation.☆29Dec 24, 2025Updated 2 months ago
- ☆11Jun 16, 2018Updated 7 years ago
- A simple unit system for Rust☆11Feb 24, 2017Updated 9 years ago
- A very simple shooter game made in Godot 3 using C#☆10Mar 5, 2018Updated 7 years ago
- Soundboard with no limits☆12Nov 18, 2025Updated 3 months ago
- Messing around with deep learning☆11Aug 29, 2021Updated 4 years ago
- Terminal UI that allows Alacritty users to quickly and easily shuffle through provided themes 🦄☆16Feb 14, 2022Updated 4 years ago
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- ☆12Feb 6, 2018Updated 8 years ago