problem solving
Qwen2.5-3b-Optimized_for_math_word_problem_solvingCodeLlama_adapter_for_solving_the_problem_of_increasing_the_readability_of_decompiled_C_codepython_problem_solvingProblem-Solving-AssistantDeepSeek-R1-Distill-Qwen-32B_MUSE_problem_solvingQwen3-32B_MUSE_rationale_problem_solvingadaption_agronomy_problem_solvingChatBot_for_solving_problems
math-dataset-measuring-mathematical-problem-solvingTo cite the dataset please reference it as
@article{hendrycksmath2021,
title={Measuring Mathematical Problem Solving With the MATH Dataset},
author={Dan Hendrycks and Collin Burns and Saurav Kadavath and Akul Arora and Steven Basart and Eric Tang and Dawn Song and Jacob Steinhardt},
journal={NeurIPS},
year={2021}
}
BenchMAX_Problem_Solving
Dataset Sources
Paper: BenchMAX: A Comprehensive Multilingual Evaluation Suite for Large Language Models
Link: https://huggingface.co/papers/2502.07346
Repository: https://github.com/CONE-MT/BenchMAX
Dataset Description
BenchMAX_Problem_Solving is a dataset of BenchMAX, sourcing from LiveCodeBench_v4, which evaluates the code generation capability for solving multilingual competitive code problems.
We extend the original English dataset by 16 non-English languages.
The… See the full description on the dataset page: https://huggingface.co/datasets/LLaMAX/BenchMAX_Problem_Solving.formal_problem_solving_main
Dataset Card for Formal Problem-Solving Benchmarks
This dataset is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving, accepted as an ICML 2026 Spotlight paper.
Links:
Paper: https://openreview.net/forum?id=hgMZraPlSv
Project: https://github.com/Purewhite2019/formal_problem_solving_main
Overview
The benchmark supports three evaluation settings:
Formal Problem-Solving (FPS): Given a… See the full description on the dataset page: https://huggingface.co/datasets/purewhite42/formal_problem_solving_main.Reasoning_Problem_Solving_Dataset
Reasoning and Problem-Solving Dataset (RPSD)
Overview
The Reasoning and Problem-Solving Dataset (RPSD) is a comprehensive, high-quality set of synthetically generated question-answer pairs (150k+) tailored for training AI systems in logical reasoning and problem-solving. It spans multiple domains, including core reasoning techniques, specialized fields like science, mathematics, engineering, computer science, and philosophy, along with practical, real-world… See the full description on the dataset page: https://huggingface.co/datasets/mattwesney/Reasoning_Problem_Solving_Dataset.math_reasoning_automated_problem_solving_with_code_track_3Creative-Problem-Solving