-
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
Paper • 2510.04721 • Published -
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Paper • 2505.02735 • Published • 33 -
PolyMath: Evaluating Mathematical Reasoning in Multilingual Contexts
Paper • 2504.18428 • Published -
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
Paper • 2502.10197 • Published
Shuo Xing
shuoxing
AI & ML interests
MLLMs, LLMs
Recent Activity
published
a dataset
about 4 hours ago
shuoxing/aaaaaaaaaaa-shuo
updated
a dataset
about 4 hours ago
shuoxing/aaaaaaaaaaa-shuo
updated
a model
about 15 hours ago
shuoxing/llama3-8b-full-sft-control-tweet-1m-en-reproduce-bs128
Organizations
Papers on the reasoning, rewarding, and understanding of the MLLMs and LLMs
-
Reflect, Retry, Reward: Self-Improving LLMs via Reinforcement Learning
Paper • 2505.24726 • Published • 277 -
SynthRL: Scaling Visual Reasoning with Verifiable Data Synthesis
Paper • 2506.02096 • Published • 52 -
OThink-R1: Intrinsic Fast/Slow Thinking Mode Switching for Over-Reasoning Mitigation
Paper • 2506.02397 • Published • 35 -
ProRL: Prolonged Reinforcement Learning Expands Reasoning Boundaries in Large Language Models
Paper • 2505.24864 • Published • 143
-
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
Paper • 2510.04721 • Published -
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Paper • 2505.02735 • Published • 33 -
PolyMath: Evaluating Mathematical Reasoning in Multilingual Contexts
Paper • 2504.18428 • Published -
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
Paper • 2502.10197 • Published
Papers on the reasoning, rewarding, and understanding of the MLLMs and LLMs
-
Reflect, Retry, Reward: Self-Improving LLMs via Reinforcement Learning
Paper • 2505.24726 • Published • 277 -
SynthRL: Scaling Visual Reasoning with Verifiable Data Synthesis
Paper • 2506.02096 • Published • 52 -
OThink-R1: Intrinsic Fast/Slow Thinking Mode Switching for Over-Reasoning Mitigation
Paper • 2506.02397 • Published • 35 -
ProRL: Prolonged Reinforcement Learning Expands Reasoning Boundaries in Large Language Models
Paper • 2505.24864 • Published • 143
models
180
shuoxing/llama3-8b-full-sft-control-tweet-1m-en-reproduce-bs128
Text Generation
•
266k
•
Updated
shuoxing/llama3-8b-full-sft-mix-high-tweet-1m-en-reproduce-bs128
Text Generation
•
266k
•
Updated
shuoxing/llama3-8b-full-sft-mix-mid-tweet-1m-en-reproduce-bs128
Text Generation
•
266k
•
Updated
shuoxing/llama3-8b-full-sft-mix-low-tweet-1m-en-reproduce-bs128
Text Generation
•
266k
•
Updated
shuoxing/llama3-8b-full-sft-control-tweet-1m-en-reproduce-bs16
266k
•
Updated
•
5
shuoxing/llama3-8b-full-sft-mix-high-tweet-1m-en-reproduce-bs16
Text Generation
•
266k
•
Updated
•
10
shuoxing/llama3-8b-full-sft-mix-mid-tweet-1m-en-reproduce-bs16
Text Generation
•
266k
•
Updated
•
13
shuoxing/llama3-8b-full-sft-mix-low-tweet-1m-en-reproduce-bs16
Text Generation
•
266k
•
Updated
•
13
shuoxing/llama3-8b-full-pretrain-control-tweet-1m-en-reproduce-bs8
Text Generation
•
266k
•
Updated
•
16
shuoxing/llama3-8b-full-pretrain-mix-high-tweet-1m-en-reproduce-bs8
Text Generation
•
266k
•
Updated
•
24
datasets
7
shuoxing/aaaaaaaaaaa-shuo
Viewer
•
Updated
•
7.79k
shuoxing/AutoTrust
Updated
shuoxing/KoNViD_1k_videos
Viewer
•
Updated
•
1.2k
•
912
shuoxing/Tweet_demo
Viewer
•
Updated
•
100
•
5
shuoxing/MapBench_VQA
Viewer
•
Updated
•
96
•
52
•
1
shuoxing/MapBench
Viewer
•
Updated
•
97
•
8
shuoxing/tweet-scholar
Viewer
•
Updated
•
95
•
13