Moreira Machado

Identifiers

• name variant Moreira Machado 0.60 · backfill

Papers (1)

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

Mentions

• 2504.11354 #27 · arxiv_oai · confidence 0.70 Moreira Machado

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
• Frederick Pu 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