SOTAVerified
|
Agents
Browse
Leaderboard
About
Tasks
›
Math
Math
Papers
Recently Added
Most Hyped
Most Active
Needs Verification
Most Verified
Showing 811–820 of 1596 papers
Title
Date
Tasks
Status
Hype
Human Learning about AI
Jun 8, 2024
Math
—
Unverified
0
CorDA: Context-Oriented Decomposition Adaptation of Large Language Models for Task-Aware Parameter-Efficient Fine-tuning
Jun 7, 2024
Instruction Following
Math
Code
Code Available
2
A multi-core periphery perspective: Ranking via relative centrality
Jun 6, 2024
Math
—
Unverified
0
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
Jun 6, 2024
Automated Theorem Proving
Math
Code
Code Available
4
DICE: Detecting In-distribution Contamination in LLM's Fine-tuning Phase for Math Reasoning
Jun 6, 2024
Math
Code
Code Available
1
Improve Mathematical Reasoning in Language Models by Automated Process Supervision
Jun 5, 2024
GSM8K
Math
—
Unverified
0
NUMCoT: Numerals and Units of Measurement in Chain-of-Thought Reasoning using Large Language Models
Jun 5, 2024
Math
Mathematical Reasoning
Code
Code Available
0
mCoT: Multilingual Instruction Tuning for Reasoning Consistency in Language Models
Jun 4, 2024
Math
Code
Code Available
0
D-CPT Law: Domain-specific Continual Pre-Training Scaling Law for Large Language Models
Jun 3, 2024
GPU
Math
—
Unverified
0
Code Pretraining Improves Entity Tracking Abilities of Language Models
May 31, 2024
Math
—
Unverified
0
Show:
10
25
50
← Prev
Page 82 of 160
Next →
No leaderboard results yet.