Haitao Mi

3

Papers

16

Total Citations

Papers (3)

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards

UniGist: Towards General and Hardware-aligned Sequence-level Long Context Compression

NeurIPS 2025arXiv

LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning