Frederick Pu

Identifiers

• name variant Frederick Pu 0.60 · backfill

Papers (1)

1. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning cs.AI · 2025 · author #18

Mentions

• 2504.11354 #18 · arxiv_oai · confidence 0.70 Frederick Pu

Frequent Coauthors

• Bolton Bailey 1 shared papers
• Chendong Song 1 shared papers
• Chenjun Xiao 1 shared papers
• Dehao Zhang 1 shared papers
• Ebony Zhang 1 shared papers
• Flood Sung 1 shared papers
• Haiming Wang 1 shared papers
• Han Zhu 1 shared papers
• Hugues de Saxc\'e 1 shared papers
• Jia Li 1 shared papers
• Jianqiao Lu 1 shared papers
• Jiawei Liu 1 shared papers
• Jonas Bayer 1 shared papers
• Julien Michel 1 shared papers
• Junqi Liu 1 shared papers
• L\'eo Dreyfus-Schmidt 1 shared papers
• Lewis Tunstall 1 shared papers
• Longhui Yu 1 shared papers
• Luigi Pagani 1 shared papers
• Mantas Baksys 1 shared papers