← Search

Tongxuan Liu

5 accepted papers

2026

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation

AAAI 2026technical

Logical reasoning is a core challenge in natural language understanding and a fundamental capability of artificial intelligence, underpinning scientific discovery, mathematical theorem proving, and complex decision-making. Despite the remarkable progress of large language models (LLMs), most current

Cited by 0SourcePDFScholar
2026

RTPrune: Reading-Twice Inspired Token Pruning for Efficient DeepSeek-OCR Inference

ICML 2026poster

DeepSeek-OCR leverages visual–text compression to reduce long-text processing costs and accelerate inference, yet visual tokens remain prone to redundant textual and structural information. Moreover, current token pruning methods for conventional vision–language models (VLMs) fail to preserve textua…

Cited by 0SourceScholar
2025

DCP: Dual-Cue Pruning for Efficient Large Vision-Language Models

EMNLP 2025

Large Vision-Language Models (LVLMs) achieve remarkable performance in multimodal tasks but suffer from high computational costs due to the large number of visual tokens. Existing pruning methods either apply after visual tokens enter the LLM or perform pre-pruning based solely on visual attention.

Cited by 0SourcePDFScholar
2025

Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models

NAACL 2025long

Large Language Models (LLMs) have demonstrated remarkable capabilities across various tasks but their performance in complex logical reasoning tasks remains unsatisfactory. Although some prompting methods, such as Chain-of-Thought, can improve the reasoning ability of LLMs to some extent, they suffe…

Cited by 9SourcePDFScholar
2025

S2-MAD: Breaking the Token Barrier to Enhance Multi-Agent Debate Efficiency

NAACL 2025long

Large language models (LLMs) have demonstrated remarkable capabilities across various natural language processing (NLP) scenarios, but they still face challenges when handling complex arithmetic and logical reasoning tasks. While Chain-Of-Thought (CoT) reasoning, self-consistency (SC) and self-corre…

Cited by 1SourcePDFScholar