Yuheng Wu
3 papers · 2024–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (11) π§ Keyword Pioneer
π
Cross-Pollinator
(13)
Conferences
EMNLP (2)
CVPR (1)
Top co-authors
Keywords
benchmark evaluation
(1)
logical reasoning
(1)
boolean satisfiability
(1)
data augmentation
(1)
image synthesis
(1)
automated reasoning
(1)
satisfiability problem
(1)
generative model
(1)
theory of mind
(1)
multi-source fusion
(1)
dynamic epistemic logic
(1)
puzzle generation
(1)
hyperspectral image
(1)
inference-time scaling
(1)
belief update
(1)
large language model
(1)
verifiable reasoning
(1)
search-based reasoning
(1)
process belief model
(1)
data unmixing
(1)
Papers
DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic
EMNLP 2025
SATBench: Benchmarking LLMsβ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
EMNLP 2025
Unmixing Before Fusion: A Generalized Paradigm for Multi-Source-based Hyperspectral Image Synthesis
CVPR 2024