SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 851–875 of 1596 papers

TitleStatusHype
Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM—0
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?—0
Adaptive Inference-Time Compute: LLMs Can Predict if They Can Do Better, Even Mid-Generation—0
Hawkeye:Efficient Reasoning with Model Collaboration—0
Heimdall: test-time scaling on the generative verification—0
HelpSteer3: Human-Annotated Feedback and Edit Data to Empower Inference-Time Scaling in Open-Ended General-Domain Tasks—0
hep-th—0
Herald: A Natural Language Annotated Lean 4 Dataset—0
Hierarchical Attention Decoder for Solving Math Word Problems—0
Hierarchical evolutive systems, fuzzy categories and the living single cell—0
WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code—0
Homeostatic Mechanisms in Biological Systems—0
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal—0
How Difficulty-Aware Staged Reinforcement Learning Enhances LLMs' Reasoning Capabilities: A Preliminary Experimental Study—0
Biased Programmers? Or Biased Data? A Field Experiment in Operationalizing AI Ethics—0
The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search—0
How well do Computers Solve Math Word Problems? Large-Scale Dataset Construction and Evaluation—0
Weighted Polynomial Approximations: Limits for Learning and Pseudorandomness—0
How You See Me—0
Human Learning about AI—0
Hydrodynamics of Markets:Hidden Links Between Physics and Finance—0
HyperCLOVA X Technical Report—0
Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Models—0
Identifying equivalent Calabi--Yau topologies: A discrete challenge from math and physics for machine learning—0
Illinois Math Solver: Math Reasoning on the Web—0
Show:102550
← PrevPage 35 of 64Next →

No leaderboard results yet.