yangxw/countdown-backtracking
Viewer
•
Updated
•
510k
•
42
Xiao-Wen Yang
yangxw
AI & ML interests
LLM reasoning, Neuro-Symoblic Learning
Recent Activity
upvoted
a
paper
about 1 month ago
A Theoretical Study on Bridging Internal Probability and
Self-Consistency for LLM Reasoning
authored
a paper
about 1 month ago
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in
Machine Learning Theory
upvoted
a
paper
about 1 month ago
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in
Machine Learning Theory
Organizations
None yet