Botao Li

Identifiers

• name variant Botao Li 0.60 · backfill

Papers (2)

1. Electromagnetic Shower Reconstruction and Identification in FASER's Emulsion Detector for LHC Forward Neutrino Measurements hep-ex · 2026 · author #71
2. Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 cs.AI · 2026 · author #5

Mentions

• 2606.18517 #71 · arxiv_oai · confidence 0.70 Botao Li

Frequent Coauthors

• Aaron White 1 shared papers
• Akitaka Ariga 1 shared papers
• Alex Keyken 1 shared papers
• Andrea Coccaro 1 shared papers
• Andrea Pizarro Medina 1 shared papers
• Andr\'e Rubbia 1 shared papers
• Angela Burger 1 shared papers
• Annabelle Parry 1 shared papers
• Anna Mascellani 1 shared papers
• Anna Sfyrla 1 shared papers
• Ansh Desai 1 shared papers
• Arash Jofrehei 1 shared papers
• Benedikt Vormwald 1 shared papers
• Benjamin James Wilson 1 shared papers
• Brian Petersen 1 shared papers
• Carl Gwilliam 1 shared papers
• Carlo Alberto Fenoglio 1 shared papers
• Cesar Jesus-Valls 1 shared papers
• Charlotte Cavanagh 1 shared papers
• Chengwu Liu 1 shared papers