Xu Kangping's picture

1 2 5

Xu Kangping

xukp20

·

xukp20

AI & ML interests

None yet

Recent Activity

upvoted an article about 2 months ago

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

liked a dataset about 2 months ago

Goedel-LM/Lean-workbook-proofs

liked a dataset about 2 months ago

m-a-p/FineLeanCorpus

View all activity

Organizations

New activity in GSAI-ML/LLaDA-8B-Instruct 3 months ago

Question about the chat template which ignores add_generation_prompt

#12 opened 3 months ago by