Demo Data from VLDB 2026 / reviewers in the wild / expert
Jundong Xu
dblp:378/5210
· DBLP profile ↗
4ranked-venue papers
3as first author
4since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 3 first-author · 3 since 2021Systems, architecture and hardware · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
3 papers |
Knowledge representation and reasoning · 54% Language models and text generation · 31% Vision and language · 14% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning |
2.5 | 3 | 2025 | MuSLR: Multimodal Symbolic Logical Reasoning · NeurIPS 2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework · ACL (1) 2025 Faithful Logical Reasoning via Symbolic Chain-of-Thought · ACL (1) 2024 |
Natural language and speech › Language models and text generation
large language model reasoning |
0.9 | 1 | 2025 | Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework · ACL (1) 2025 |
Computer vision › Vision and language › multimodal reasoning
vision-language model reasoning |
0.9 | 1 | 2025 | MuSLR: Multimodal Symbolic Logical Reasoning · NeurIPS 2025 |
Natural language and speech › Language models and text generation › prompting
chain-of-thought prompting |
0.8 | 1 | 2024 | Faithful Logical Reasoning via Symbolic Chain-of-Thought · ACL (1) 2024 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic-based reasoning
symbolic reasoning |
0.8 | 1 | 2024 | Faithful Logical Reasoning via Symbolic Chain-of-Thought · ACL (1) 2024 |
Natural language and speech › Language models and text generation
chain-of-thought reasoning |
0.3 | 1 | 2025 | MuSLR: Multimodal Symbolic Logical Reasoning · NeurIPS 2025 |
Methods — techniques the papers use, named apart from their topics
formal logic rules · 0.9chain-of-thought · 0.9first-order logic · 0.8constraint optimization · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve FrameworkabstractJundong Xu, Hao Fei, Meng Luo, Qian Liu, Liangming Pan, William Yang Wang, Preslav Nakov, Mong-Li Lee, Wynne Hsu. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025. Jundong Xu, Hao Fei 0001, Meng Luo 0010, Qian Liu 0012, Liangming Pan, William Yang Wang, Preslav Nakov, Mong-Li Lee, Wynne Hsu |
ACL (1) | 1 |
| 2025 | An Adaptive Measurement Method Combining MSE and SSIM for Image TransmissionabstractThe design of loss function is of significant importance to optimize the quality of image transmission by using deep learning such as Joint Source-channel Coding (JSCC), especially with different Signal-to-Noise Ratio (SNR) conditions. Traditional methods using the fixed loss function lead to quality degradation when the real SNR is different from the SNR condition of the training environment. In this paper, an adaptive loss function based on SNR regulation is proposed. By combining Mean Square Error (MSE) and Structural Similarity Index Measure (SSIM), the weight of the loss function is automatically adjusted according to the changes of channel SNR. We show how to optimize the structural fidelity and visual quality of images in different SNR environments by adjusting the weight ratio. The experimental results show that the proposed method can effectively improve the image quality under low SNR conditions, while maintaining the accuracy of image details under high SNR conditions. Hongzhi Cui, Shuqing Qiu, Jundong Xu |
HPCC | 3 |
| 2025 | MuSLR: Multimodal Symbolic Logical ReasoningabstractMultimodal symbolic logical reasoning, which aims to deduce new facts from multimodal input via formal logic, is critical in high-stakes applications such as autonomous driving and medical diagnosis, as its rigorous, deterministic reasoning helps prevent serious consequences. To evaluate such capabilities of current state-of-the-art vision language models (VLMs), we introduce the first benchmark MuSLR for multimodal symbolic logical reasoning grounded in formal logical rules. MuSLR comprises 1,093 instances across 7 domains, including 35 atomic symbolic logic and 976 logical combinations, with reasoning depths ranging from 2 to 9. We evaluate 7 state-of-the-art VLMs on MuSLR and find that they all struggle with multimodal symbolic reasoning, with the best model, GPT-4.1, achieving only 46.8%.
Thus, we propose LogiCAM, a modular framework that applies formal logical rules to multimodal inputs, boosting GPT-4.1’s Chain-of-Thought performance by 14.13%, and delivering even larger gains on complex logics such as first-order logic. We also conduct a comprehensive error analysis, showing that around 70% of failures stem from logical misalignment between modalities, offering key insights to guide future improvements. Jundong Xu, Hao Fei 0001, Liangming Pan, Qijun Huang, Qian Liu 0012, Preslav Nakov, Min-Yen Kan, William Yang Wang, Mong-Li Lee, Wynne Hsu |
NeurIPS | 1 |
| 2024 | Faithful Logical Reasoning via Symbolic Chain-of-ThoughtabstractWhile the recent Chain-of-Thought (CoT) technique enhances the reasoning ability of large language models (LLMs) with the theory of mind, it might still struggle in handling logical reasoning that relies much on symbolic expressions and rigid deducing rules.To strengthen the logical reasoning capability of LLMs, we propose a novel Symbolic Chain-of-Thought, namely SymbCoT, a fully LLM-based framework that integrates symbolic expressions and logic rules with CoT prompting.Technically, building upon an LLM, SymbCoT 1) first translates the natural language context into the symbolic format, and then 2) derives a step-by-step plan to solve the problem with symbolic logical rules, 3) followed by a verifier to check the translation and reasoning chain.Via thorough evaluations on 5 standard datasets with both First-Order Logic and Constraint Optimization symbolic expressions, SymbCoT shows striking improvements over the CoT method consistently, meanwhile refreshing the current stateof-the-art performances.We further demonstrate that our system advances in more faithful, flexible, and explainable logical reasoning.To our knowledge, this is the first to combine symbolic expressions and rules into CoT for logical reasoning with LLMs.Code is open at https://github.com/Aiden0526/SymbCoT. Jundong Xu, Hao Fei 0001, Liangming Pan, Qian Liu 0012, Mong-Li Lee, Wynne Hsu |
ACL (1) | 1 |