hard-problem
hard_geometry_problems_with_diagramskernelbench-hard-problems
KernelBench-Hard — Problem Definitions
The 7 problem definitions for KernelBench-Hard, a benchmark for autonomous LLM coding agents writing GPU kernels on a single Blackwell GPU (RTX PRO 6000, sm_120, CUDA 13.2).
Companion datasets:
Infatoshi/kernelbench-hard-runs — 84 agent transcripts, winning solutions, leaderboard, reward-hack annotations
Live site: https://kernelbench.com/hard
Methodology blog: https://kernelbench.com/blog/hard
Source repo:… See the full description on the dataset page: https://huggingface.co/datasets/Infatoshi/kernelbench-hard-problems.MathSmith-Hard-ProblemsMathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
Overview
This dataset is a collection of problems generated by the MathSmith-Hard Problem-Synthesizer.
Dataset Structure
Each record is a JSON object with the following fields:
{
"problem": "<str>", // The generated math problem
"rationale": "<str>" // The ratioanle process of question generation… See the full description on the dataset page: https://huggingface.co/datasets/Jasaxion/MathSmith-Hard-Problems.actually-truly-hard-problemsqwen3-instruct-hard-problems-guidedpass-at-128-hard-omni-math-problems-self-correct-guided
