Haotao Tan

Identifiers

• name variant Haotao Tan 0.60 · backfill

Papers (1)

1. Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification cs.AI · 2026 · author #2

Mentions

• 2606.01160 #2 · arxiv_oai · confidence 0.70 Haotao Tan

Frequent Coauthors

• Mingyu Li 1 shared papers
• Shihao Ji 1 shared papers
• Zihui Song 1 shared papers