Wen-Da Wei
5 papers · 2024–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(10)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
Conferences
AAAI (2)
ICLR (1)
ICML (1)
IJCAI (1)
Top co-authors
Keywords
curriculum learning
(1)
symbolic reasoning
(1)
instruction following
(1)
abductive learning
(1)
language model
(1)
multi-turn dialogue
(1)
search algorithm
(1)
a* algorithm
(1)
optimal solution
(1)
neural-symbolic learning
(1)
reasoning shortcut
(1)
neural symbolic
(1)
intermediate concept
(1)
relation graph
(1)
autoregressive language model
(1)
depth-first search
(1)
graph prompt
(1)
inter-turn semantic
(1)
Papers
Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models
AAAI 2026
GraphIF: Enhancing Multi-Turn Instruction Following for Large Language Models with Relation Graph Prompt
AAAI 2026
CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search
ICLR 2025
Curriculum Abductive Learning for Mitigating Reasoning Shortcuts
IJCAI 2025
Analysis for Abductive Learning and Neural-Symbolic Reasoning Shortcuts
ICML 2024