Bohao Chen

Identifiers

• name variant Bohao Chen 0.60 · backfill

Papers (2)

1. Evaluation of LLMs for Mathematical Formalization in Lean cs.AI · 2026 · author #4
2. High-throughput screening for modulators of cellular contractile force physics.bio-ph · 2014 · author #4

Mentions

• 2606.05632 #4 · arxiv_oai · confidence 0.70 Bohao Chen
• 1411.5695 #4 · backfill · confidence 0.70 Bohao Chen

Frequent Coauthors

• Aleksandar Marinkovic 1 shared papers
• Anton Simeonov 1 shared papers
• Ariel Fu 1 shared papers
• Chan Young Park 1 shared papers
• Daniel J. Tschumperlin 1 shared papers
• David J. Maloney 1 shared papers
• Dhananjay Tambe 1 shared papers
• Drew Bladek 1 shared papers
• Enhua H. Zhou 1 shared papers
• Escher Crawford 1 shared papers
• Giovanni Inchiostro 1 shared papers
• James P. Butler 1 shared papers
• Jarod Alper 1 shared papers
• Jeffrey J. Fredberg 1 shared papers
• Julian Solway 1 shared papers
• Kaira Nair 1 shared papers
• Maria Dowell 1 shared papers
• Mark Johnson 1 shared papers
• Matthew Frykenberg 1 shared papers
• Ramaswamy Krishnan 1 shared papers