HuajianXin

HuajianXin's activity

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

upvoted a paper about 1 month ago

MMFormalizer: Multimodal Autoformalization in the Wild

Paper • 2601.03017 • Published Jan 6 • 105

liked a dataset 7 months ago

AI-MO/NuminaMath-LEAN

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

upvoted an article 7 months ago

view article

Article

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

• 

Jul 10, 2025

•

54

updated a dataset 9 months ago

HuajianXin/APE-Bench_I

Viewer • Updated May 22, 2025 • 8.12k • 10 • 1

published a dataset 9 months ago

HuajianXin/APE-Bench_I

Viewer • Updated May 22, 2025 • 8.12k • 10 • 1

authored a paper 9 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5, 2025 • 33

authored a paper about 1 year ago

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Paper • 2501.12948 • Published Jan 22, 2025 • 440

liked a model about 1 year ago

sentence-transformers/all-MiniLM-L6-v2

Sentence Similarity • Updated Mar 6, 2025 • 158M • • 4.47k

liked a dataset about 1 year ago

HuggingFaceTB/finemath

Viewer • Updated Feb 6, 2025 • 48.3M • 7.51k • 350

authored 2 papers over 1 year ago

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Paper • 2408.08152 • Published Aug 15, 2024 • 61

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Paper • 2405.14333 • Published May 23, 2024 • 43