SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 851–900 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
The Unreasonable Effectiveness of Model Merging for Cross-Lingual Transfer in LLMs—0
Improve Mathematical Reasoning in Language Models by Automated Process Supervision—0
Improving Academic Plagiarism Detection for STEM Documents by Analyzing Mathematical Content and Citations—0
Improving Assessment of Tutoring Practices using Retrieval-Augmented Generation—0
Improving Automated Distractor Generation for Math Multiple-choice Questions with Overgenerate-and-rank—0
Improving Complex Reasoning with Dynamic Prompt Corruption: A soft prompt Optimization Approach—0
Improving Equation Set Problems with Label Augmentation—0
Improving Large Language Model Fine-tuning for Solving Math Problems—0
Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification—0
Improving Math Problem Solving in Large Language Models Through Categorization and Strategy Tailoring—0
Improving Math Word Problems with Pre-trained Knowledge and Hierarchical Reasoning—0
Improving Multilingual Math Reasoning for African Languages—0
The Word is Mightier than the Label: Learning without Pointillistic Labels using Data Programming—0
In between myth and reality: AI for math -- a case study in category theory—0
Incremental Sequence Classification with Temporal Consistency—0
Inference-Aware Fine-Tuning for Best-of-N Sampling in Large Language Models—0
Inference Computation Scaling for Feature Augmentation in Recommendation Systems—0
Beyond Sentential Semantic Parsing: Tackling the Math SAT with a Cascade of Tree Transducers—0
InfiFusion: A Unified Framework for Enhanced Cross-Model Reasoning via LLM Fusion—0
Infi-MMR: Curriculum-based Unlocking Multimodal Reasoning via Phased Reinforcement Learning in Multimodal Small Language Models—0
InfiMM-WebMath-40B: Advancing Multimodal Pre-Training for Enhanced Mathematical Reasoning—0
Information Token Driven Machine Learning for Electronic Markets: Performance Effects in Behavioral Financial Big Data Analytics—0
InftyThink: Breaking the Length Limits of Long-Context Reasoning in Large Language Models—0
Innovative Thinking, Infinite Humor: Humor Research of Large Language Models through Structured Thought Leaps—0
Inspecting Spoken Language Understanding from Kids for Basic Math Learning at Home—0
Show:102550
← PrevPage 18 of 32Next →

No leaderboard results yet.