Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jundong Xu

dblp:378/5210 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning
2.532025
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.912025
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.912025
MuSLR: Multimodal Symbolic Logical Reasoning · NeurIPS 2025
Natural language and speech › Language models and text generation › prompting
chain-of-thought prompting
0.812024
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.812024
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.312025
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
YearPublicationVenuePosition
2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework
abstract
Jundong 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 Transmission
abstract
The 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
HPCC3
2025 MuSLR: Multimodal Symbolic Logical Reasoning
abstract
Multimodal 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
NeurIPS1
2024 Faithful Logical Reasoning via Symbolic Chain-of-Thought
abstract
While 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