Team Ai
10 results

hard-problem

max98765 /hard_geometry_problems_with_diagramstabularn<1K0 likes202 downloads6mo agoHugging FaceInfatoshi /kernelbench-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.textn<1K0 likes198 downloads5mo agoHugging FaceJasaxion /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.textquestion-answering100K<n<1M1 likes181 downloads11mo agoHugging Faced1shs0ap /actually-truly-hard-problemstext1K<n<10K0 likes90 downloads1y agoHugging Faced1shs0ap /qwen3-instruct-hard-problems-guidedtabular1K<n<10K0 likes38 downloads9mo agoHugging Faced1shs0ap /pass-at-128-hard-omni-math-problems-self-correct-guidedtabular10K<n<100K0 likes31 downloads10mo agoHugging Face