Xiao-Wen Yang's picture

2 4

Xiao-Wen Yang

yangxw

·

https://www.lamda.nju.edu.cn/yangxw/

njuyxw

AI & ML interests

LLM reasoning, Neuro-Symoblic Learning

Recent Activity

upvoted a paper about 2 months ago

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning

authored a paper about 2 months ago

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

upvoted a paper about 2 months ago

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

View all activity

Organizations

None yet

upvoted 2 papers about 2 months ago

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning

Paper • 2510.15444 • Published Oct 17 • 147

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

Paper • 2510.02335 • Published Sep 26 • 2

upvoted a paper 9 months ago

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

Paper • 2412.13682 • Published Dec 18, 2024 • 7

upvoted a paper 10 months ago

Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models

Paper • 2502.04404 • Published Feb 6 • 25