[AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)
☆23Oct 2, 2025Updated 4 months ago
Alternatives and similar repositories for IterativeQuestionComposing
Users that are interested in IterativeQuestionComposing are comparing it to the libraries listed below
Sorting:
- ☆30Dec 27, 2024Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Feb 29, 2024Updated 2 years ago
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆35Oct 23, 2024Updated last year
- Complexity Based Prompting for Multi-Step Reasoning☆17Mar 10, 2023Updated 2 years ago
- Evaluation utilities based on SymPy.☆21Dec 12, 2024Updated last year
- An inequality benchmark for theorem proving☆21Feb 1, 2026Updated 3 weeks ago
- Tools for working with PubMed data.☆15Sep 26, 2020Updated 5 years ago
- ☆85Jan 25, 2025Updated last year
- [ICLR 2024] Evaluating Large Language Models at Evaluating Instruction Following☆137Jul 8, 2024Updated last year
- ☆49Aug 29, 2023Updated 2 years ago
- ☆26May 30, 2023Updated 2 years ago
- The rule-based evaluation subset and code implementation of Omni-MATH☆26Dec 23, 2024Updated last year
- Source codes and datasets for How well do Large Language Models perform in Arithmetic tasks?☆57Apr 17, 2023Updated 2 years ago
- ☆167May 2, 2024Updated last year
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆64Jul 8, 2024Updated last year
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆111May 22, 2025Updated 9 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆120Dec 10, 2024Updated last year
- GenRM-CoT: Data release for verification rationales☆68Oct 16, 2024Updated last year
- ☆29May 8, 2024Updated last year
- ☆47Aug 5, 2025Updated 6 months ago
- [ICML 2024] Selecting High-Quality Data for Training Language Models☆201Dec 8, 2025Updated 2 months ago
- ☆130Jul 8, 2024Updated last year
- Improving Language Understanding from Screenshots. Paper: https://arxiv.org/abs/2402.14073☆31Jul 9, 2024Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- Solving Inequality Proofs with Large Language Models.☆57Dec 15, 2025Updated 2 months ago
- A Data-Driven Approach to Predict the Success of Bank Telemarketing☆10Apr 27, 2021Updated 4 years ago
- A 7B parameter model for mathematical reasoning☆42Feb 17, 2025Updated last year
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆38May 15, 2024Updated last year
- Generative Judge for Evaluating Alignment☆250Jan 18, 2024Updated 2 years ago
- LaTeX Beamer template crafted for University of Illinois Chicago☆11Dec 7, 2024Updated last year
- ☆10Jul 16, 2023Updated 2 years ago
- Incognito Proxy chrome extension☆10Sep 27, 2023Updated 2 years ago
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- Guide to interviewing for industry machine learning roles (data/applied/research scientist, ML engineer, etc).☆11Dec 28, 2022Updated 3 years ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 6 months ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- Residual Quantization Autoencoder, used for interpreting LLMs☆13Jan 1, 2025Updated last year
- Fine-tuning GPT-2 to generate research paper abstracts☆12Apr 28, 2021Updated 4 years ago
- ☆26Updated this week