SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1101–1150 of 1596 papers

TitleStatusHype
Semantic-based Data Augmentation for Math Word Problems—0
Semantic Parsing of Pre-university Math Problems—0
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems—0
Sensitivity to initial conditions in an extended activator-inhibitor model for the formation of patterns—0
S-GRPO: Early Exit via Reinforcement Learning in Reasoning Models—0
生成,推理与排序:基于多任务架构的数学文字题生成(Generating, Reasoning & Ranking: Multitask Learning Framework for Math Word Problem Generation)—0
Short dated smile under Rough Volatility: asymptotics and numerics—0
Short-time asymptotics for non self-similar stochastic volatility models—0
Shrinking the Generation-Verification Gap with Weak Verifiers—0
SIaM: Self-Improving Code-Assisted Mathematical Reasoning of Large Language Models—0
A Joint Probabilistic Classification Model of Relevant and Irrelevant Sentences in Mathematical Word Problems—0
Working memory capacity and gender—0
Accelerating Chain-of-Thought Reasoning: When Goal-Gradient Importance Meets Dynamic Skipping—0
SIMPLEMIX: Frustratingly Simple Mixing of Off- and On-policy Data in Language Model Preference Learning—0
AI, write an essay for me: A large-scale comparison of human-written versus ChatGPT-generated essays—0
Simplified Energy Landscape for Modularity Using Total Variation—0
Simulating LLM-to-LLM Tutoring for Multilingual Math Feedback—0
SIRI-Bench: Challenging VLMs' Spatial Intelligence through Complex Reasoning Tasks—0
VAR-MATH: Probing True Mathematical Reasoning in Large Language Models via Symbolic Multi-Instance Benchmarks—0
Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models—0
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs—0
Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models -- The Story Goes On—0
AiFu at SemEval-2019 Task 10: A Symbolic and Sub-symbolic Integrated System for SAT Math Question Answering—0
Slow Perception: Let's Perceive Geometric Figures Step-by-step—0
SMART: A Situation Model for Algebra Story Problems via Attributed Grammar—0
Smiles in delta—0
SmolLM2: When Smol Goes Big -- Data-Centric Training of a Small Language Model—0
Velocitune: A Velocity-based Dynamic Domain Reweighting Method for Continual Pre-training—0
SOLAR: Scalable Optimization of Large-scale Architecture for Reasoning—0
Solving Arithmetic Word Problems Using Transformer and Pre-processing of Problem Texts—0
Solving Arithmetic Word Problems with Transformers and Preprocessing of Problem Text—0
Solving Linear Algebra by Program Synthesis—0
Solving Linear Algebra by Program Synthesis—0
Heterogeneous Line Graph Transformer for Math Word Problems—0
Veracity Bias and Beyond: Uncovering LLMs' Hidden Beliefs in Problem-Solving Reasoning—0
Solving Math Word Problems with Double-Decoder Transformer—0
Solving math word problems with process- and outcome-based feedback—0
VGR: Visual Grounded Reasoning—0
SPARQ: Synthetic Problem Generation for Reasoning via Quality-Diversity Algorithms—0
Speculative Knowledge Distillation: Bridging the Teacher-Student Gap Through Interleaved Sampling—0
SPIN-Bench: How Well Do LLMs Plan Strategically and Reason Socially?—0
SplitReason: Learning To Offload Reasoning—0
Squeeze the Soaked Sponge: Efficient Off-policy Reinforcement Finetuning for Large Language Model—0
SSR: Speculative Parallel Scaling Reasoning in Test-time—0
Stable Code Technical Report—0
AI4Math: A Native Spanish Benchmark for University-Level Mathematical Reasoning in Large Language Models—0
START: Self-taught Reasoner with Tools—0
A Graph-Based Synthetic Data Pipeline for Scaling High-Quality Reasoning Instructions—0
Steering LLM Reasoning Through Bias-Only Adaptation—0
Accelerated Sampling from Masked Diffusion Models via Entropy Bounded Unmasking—0
Show:102550
← PrevPage 23 of 32Next →

No leaderboard results yet.