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

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

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