Ziyu Yao

Revisiting Prompt Optimization with Large Reasoning Models---A Case Study on Event Extraction

Unified Plan Verification with Static Rubrics and Dynamic Policies for Reliable LLM Planning

ToolLibGen: Scalable Automatic Tool Creation and Aggregation for LLM Reasoning

Failure by Interference: Language Models Make Balanced Parentheses Errors When Faulty Mechanisms Overshadow Sound Ones

DOTS: Learning to Reason Dynamically in LLMs via Optimal Reasoning Trajectories Search