math-dataset

math-dataset's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

yifAI 

authored 2 papers 2 days ago

Web World Models

Paper • 2512.23676 • Published 4 days ago • 19

Monadic Context Engineering

Paper • 2512.22431 • Published 7 days ago • 8

yifAI 

submitted a paper to Daily Papers 4 days ago

Web World Models

Paper • 2512.23676 • Published 4 days ago • 19

yifAI 

authored a paper 25 days ago

Group Representational Position Encoding

Paper • 2512.07805 • Published 25 days ago • 3

Lewis-Lau 

authored a paper 25 days ago

Group Representational Position Encoding

Paper • 2512.07805 • Published 25 days ago • 3

yifAI 

authored a paper 2 months ago

Higher-order Linear Attention

Paper • 2510.27258 • Published Oct 31, 2025 • 14

Lewis-Lau 

authored a paper 2 months ago

MARS-M: When Variance Reduction Meets Matrices

Paper • 2510.21800 • Published Oct 20, 2025 • 2

yifAI 

authored a paper 2 months ago

Language Server CLI Empowers Language Agents with Process Rewards

Paper • 2510.22907 • Published Oct 27, 2025 • 4

Lewis-Lau 

authored a paper 2 months ago

Robust Layerwise Scaling Rules by Proper Weight Decay Tuning

Paper • 2510.15262 • Published Oct 17, 2025 • 5

yifAI 

authored a paper 4 months ago

Exact Coset Sampling for Quantum Lattice Algorithms

Paper • 2509.12341 • Published Sep 15, 2025 • 1

yifAI 

authored a paper 5 months ago

A Markov Categorical Framework for Language Modeling

Paper • 2507.19247 • Published Jul 25, 2025 • 2

yifAI 

authored a paper 6 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8, 2025 • 44

Lewis-Lau 

updated a dataset 7 months ago

math-dataset/DAPO-17k-Eng

Viewer • Updated May 27, 2025 • 1.39M • 122 • 1

yifAI 

authored a paper 7 months ago

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning

Paper • 2505.17508 • Published May 23, 2025 • 8

Lewis-Lau 

authored a paper 7 months ago

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning

Paper • 2505.17508 • Published May 23, 2025 • 8

yifAI 

authored a paper 8 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5, 2025 • 33

yifAI 

updated a dataset 9 months ago

math-dataset/DAPO-17k-Eng

Viewer • Updated May 27, 2025 • 1.39M • 122 • 1

Lewis-Lau 

published a dataset 9 months ago

math-dataset/DAPO-17k-Eng

Viewer • Updated May 27, 2025 • 1.39M • 122 • 1

yifAI 

updated a model 9 months ago

math-dataset/DeepSeek-R1-Distill-Qwen-1.5B-V2

Text Generation • 2B • Updated Apr 14, 2025 • 4

yifAI 

published a model 9 months ago

math-dataset/DeepSeek-R1-Distill-Qwen-1.5B-V2

Text Generation • 2B • Updated Apr 14, 2025 • 4