Wen-Da Wei
5 papers · 2024–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(14)
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Machine Learning
(3)
Optimization & Theory
(2)
Knowledge & Reasoning
(1)
Natural Language Processing
(1)
Applications
(1)
Core Methods
(1)
Generation
(1)
Learning Paradigms · Artificial Intelligence
(1)
Learning Paradigms · Machine Learning
(1)
Learning Types
(1)
Representation
(1)
Keywords
abductive learning
(2)
symbolic reasoning
(1)
instruction following
(1)
value function
(1)
monte carlo tree search
(1)
preference modeling
(1)
language model
(1)
multi-turn dialogue
(1)
neural theorem proving
(1)
search algorithm
(1)
sample size
(1)
a* algorithm
(1)
optimal solution
(1)
neural-symbolic learning
(1)
reasoning shortcut
(1)
neural symbolic
(1)
intermediate concept
(1)
hypothesis space
(1)
relation graph
(1)
autoregressive language model
(1)
Papers
GraphIF: Enhancing Multi-Turn Instruction Following for Large Language Models with Relation Graph Prompt
AAAI 2026
Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models
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