| Heimdall: test-time scaling on the generative verification | Apr 14, 2025 | Math | —Unverified | 0 | 0 |
| HelpSteer3: Human-Annotated Feedback and Edit Data to Empower Inference-Time Scaling in Open-Ended General-Domain Tasks | Mar 6, 2025 | ChatbotLogical Reasoning | —Unverified | 0 | 0 |
| hep-th | Jun 27, 2018 | Binary ClassificationMath | —Unverified | 0 | 0 |
| Herald: A Natural Language Annotated Lean 4 Dataset | Oct 9, 2024 | MathMathematical Reasoning | —Unverified | 0 | 0 |
| Hierarchical Attention Decoder for Solving Math Word Problems | Nov 16, 2021 | DecoderMath | —Unverified | 0 | 0 |
| Hierarchical evolutive systems, fuzzy categories and the living single cell | Jan 31, 2018 | Math | —Unverified | 0 | 0 |
| WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code | Jun 1, 2021 | MathRetrieval | —Unverified | 0 | 0 |
| Homeostatic Mechanisms in Biological Systems | Feb 22, 2022 | Math | —Unverified | 0 | 0 |
| Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal | Apr 23, 2019 | MathPosition | —Unverified | 0 | 0 |
| How Difficulty-Aware Staged Reinforcement Learning Enhances LLMs' Reasoning Capabilities: A Preliminary Experimental Study | Apr 1, 2025 | Code GenerationMath | —Unverified | 0 | 0 |
