SOTAVerified
|
Agents
Browse
Leaderboard
About
Tasks
›
Math
Math
Papers
Recently Added
Most Hyped
Most Active
Needs Verification
Most Verified
Showing 621–630 of 1596 papers
Title
Date
Tasks
Status
Hype
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
Apr 18, 2025
Math
Visual Reasoning
—
Unverified
0
Accurate and Diverse LLM Mathematical Reasoning via Automated PRM-Guided GFlowNets
Apr 28, 2025
Data Augmentation
Diversity
—
Unverified
0
Does Reasoning Introduce Bias? A Study of Social Bias Evaluation and Mitigation in LLM Reasoning
Feb 21, 2025
Math
—
Unverified
0
Does Reasoning Emerge? Examining the Probabilities of Causation in Large Language Models
Aug 15, 2024
Math
—
Unverified
0
Beyond Captioning: Task-Specific Prompting for Improved VLM Performance in Mathematical Reasoning
Oct 8, 2024
Image Retrieval
Math
—
Unverified
0
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
Jun 10, 2025
Large Language Model
Math
—
Unverified
0
A Neural Network Implementation for Free Energy Principle
Jun 11, 2023
Math
—
Unverified
0
dMath: Distributed Linear Algebra for DL
Nov 19, 2016
GPU
Management
—
Unverified
0
dMath: A Scalable Linear Algebra and Math Library for Heterogeneous GP-GPU Architectures
Apr 5, 2016
GPU
Management
—
Unverified
0
Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation
May 30, 2024
Code Generation
HumanEval
—
Unverified
0
Show:
10
25
50
← Prev
Page 63 of 160
Next →
No leaderboard results yet.