HuajianXin's picture

1 3 3

HuajianXin

HuajianXin

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

MMFormalizer: Multimodal Autoformalization in the Wild

liked a dataset 7 months ago

AI-MO/NuminaMath-LEAN

upvoted an article 7 months ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

View all activity

Organizations

None yet

liked a dataset 7 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 867 • 54

liked a model about 1 year ago

sentence-transformers/all-MiniLM-L6-v2

Sentence Similarity • Updated Mar 6, 2025 • 164M • • 4.49k

liked a dataset about 1 year ago

HuggingFaceTB/finemath

Viewer • Updated Feb 6, 2025 • 48.3M • 8.02k • 351