Yutong Wang

4

Papers

36

Total Citations

Papers (4)

Herald: A Natural Language Annotated Lean 4 Dataset

LNS2+RL: Combining Multi-agent Reinforcement Learning with Large Neighborhood Search in Multi-agent Path Finding

Efficient Video Face Enhancement with Enhanced Spatial-Temporal Consistency

Neural Collapse in Multi-label Learning with Pick-all-label Loss