Yuheng Wu

3 papers · 2024–2025 · 2 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 (10)

Venues

EMNLP (2) CVPR (1)

Top co-authors

Xiaoguang Mei (1) Xinya Wang (1) Jianwen Xie (1) Denghui Zhang (1) Erting Pan (1) Alex Aiken (1) Zhanke Zhou (1) Sanmi Koyejo (1) Yingjia Wan (1) Zhaozhuo Xu (1)

Research topics

Artificial Intelligence (2) Machine Learning (2) Core AI (2) Learning Types (2) Computer Vision (1) Deep Learning (1) Natural Language Processing (1) Application Areas (1) Generation (1) Models (1) Resources & Methods (1)

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