arxiv:2510.02335
Xiao-Wen Yang
yangxw
AI & ML interests
LLM reasoning, Neuro-Symoblic Learning
Recent Activity
authored
a paper
17 days ago
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in
Machine Learning Theory
Organizations
None yet
models
6
yangxw/Qwen3-8B-Dynamic-New
8B
•
Updated
•
4
yangxw/Qwen3-8B-Dynamic-Syn
8B
•
Updated
•
2
yangxw/Qwen3-8B-SRbench-Syn
8B
•
Updated
•
1
yangxw/Qwen3-8B-Dynamic
8B
•
Updated
•
1
yangxw/Llama-3.2-1B-countdown-backtrack
Text Generation
•
1B
•
Updated
•
3
•
1
yangxw/CARTS_vf
Text Generation
•
1B
•
Updated
•
3
•
1