α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Xiao-Wen Yang
Xiao-Wen Yang
3
papers
4
total citations
papers (3)
CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search
ICLR 2025
4
citations
Safe Abductive Learning in the Presence of Inaccurate Rules
AAAI 2024
0
citations
Analysis for Abductive Learning and Neural-Symbolic Reasoning Shortcuts
ICML 2024
0
citations