← Search

Fengxiang Cheng

9 accepted papers

2026

Enhancing Complex Symbolic Logical Rea­soning of Large Language Models via Sparse Multi-Agent Debate

ICLR 2026poster

Large language models (LLMs) struggle with complex logical reasoning. Previous work has primarily explored single-agent methods, with their performance remains fundamentally limited by the capabilities of a single model. To our knowledge, this paper first introduce a multi-agent approach specificall…

Cited by 0SourcecodeScholar
2026

LogiConBench: Benchmarking Logical Consistencies of LLMs

ICLR 2026poster

Logical consistency, the requirement that statements remain non-contradictory under logical rules, is fundamental for trustworthy reasoning, yet current LLMs often fail to maintain it even on simple inference tasks. Existing benchmarks for LLM logical consistency are not scalable, not diverse, and n…

Cited by 0SourcecodeScholar
2026

LogicSAGE: Neuro-Symbolic Reasoning with Socratic-Guided Enhancement

ICML 2026poster

Large Language Models (LLMs) often struggle with complex logical reasoning. Existing approaches typically rely on either purely neural reasoning in natural language or offloading to formal solvers via symbolic representations. However, both paradigms face significant limitations: while LLMs exhibit …

Cited by 0SourceScholar
2026

OpenIKLR: Bridging the Reasoning Gap in Open-World Scenarios via Iterative Premise Completion

ICML 2026poster

Large Language Models (LLMs) demonstrate remarkable performance across various natural language processing tasks but struggle with complex logical reasoning, particularly in real-world settings. Existing research is largely confined to the closed-world assumption, which posits that all premises requ…

Cited by 0SourceScholar
2025

Empowering LLMs with Logical Reasoning: A Comprehensive Survey

IJCAI 2025

Large language models (LLMs) have achieved remarkable successes on various tasks. However, recent studies have found that there are still significant challenges to the logical reasoning abilities of LLMs, which can be categorized into the following two aspects: (1) Logical question answering: LLMs o

Cited by 0SourcePDFScholar
2025

Mitigating Spurious Correlations via Counterfactual Contrastive Learning

EMNLP 2025

Identifying causal relationships rather than spurious correlations between words and class labels plays a crucial role in building robust text classifiers. Previous studies proposed using causal effects to distinguish words that are causally related to the sentiment, and then building robust text cl

Cited by 0SourcePDFScholar