Hugging Face's logo
Ding Chen's picture
2 8

Ding Chen

Hush-cd
UglyToilet's profile picture Dany-0's profile picture Duguce's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
new activity 15 days ago
IAAR-Shanghai/xVerify-0.5B-I:Improve language tag
commented on a paper 27 days ago
xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
View all activity

Organizations

Beihang University's profile picture LLM Group, Institute for Advanced Algorithms Research, Shanghai's profile picture

Papers 4

models 0

None public yet