AI.info

Yinhao Tang

Explore Yinhao Tang on AI.info.

• Scaling Mathematical Proof Supervision from Structured Textbooks