L\'eo Dreyfus-Schmidt

Identifiers

• name variant L\'eo Dreyfus-Schmidt 0.60 · backfill

Papers (3)

1. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning cs.AI · 2025 · author #24
2. Stability conditions on Brauer tree algebras math.AG · 2014 · author #1
3. Splendid and perverse equivalences math.RT · 2014 · author #1

Mentions

• 1406.2221 #1 · backfill · confidence 0.70 L\'eo Dreyfus-Schmidt
• 1406.2123 #1 · backfill · confidence 0.70 L\'eo Dreyfus-Schmidt
• 2504.11354 #24 · arxiv_oai · confidence 0.70 L\'eo Dreyfus-Schmidt

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
• Lewis Tunstall 1 shared papers
• Longhui Yu 1 shared papers
• Luigi Pagani 1 shared papers
• Mantas Baksys 1 shared papers