Yuhuai Wu

Introducing REFACTOR, a system for automatic theorem extraction from mathematical proofs.

2025-09-04T05:19:12+00:00 ― 7 min read

DTV method enhances reliability of answers from large language models in math problems.

2025-08-25T15:57:24+00:00 ― 6 min read