arxiv:2505.02735
HuajianXin
HuajianXin
AI & ML interests
None yet
Recent Activity
authored
a paper
4 days ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
authored
a paper
4 months ago
DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via
Reinforcement Learning
liked
a model
4 months ago
sentence-transformers/all-MiniLM-L6-v2
Organizations
None yet
models
0
None public yet
datasets
0
None public yet