Xiao-Wen Yang

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory

ChinaTravel: An Open-Ended Travel Planning Benchmark with Compositional Constraint Validation for Language Agents

Pianist Transformer: Towards Expressive Piano Performance Rendering via Scalable Self-Supervised Pre-Training

Programmatic Context Augmentation for LLM-based Symbolic Regression

CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search

ChinaTravel: A Real-World Benchmark for Language Agents in Chinese Travel Planning