Showing 2026Show all
3 papers · 1 filter
cs.AI2026
Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning
Qili Zhang, Qianren Mao, Hanze Cai +11
Large language models (LLMs) are increasingly deployed for natural-language logical reasoning, where the final answer is easy to check but the proof behind it is not. In natural-la…
cs.IR2026
H3D: Benchmarking Unsupervised Text Hashing for Fine-Grained Document Deduplication
Qianren Mao, Jiaxun Lyu, Junnan Liu +4
Document hashing provides compact representations for efficient similarity search and document deduplication, but existing studies rarely compare hashing pipelines under a unified…
cs.LG2026
NanoNet: Parameter-Efficient Learning with Label-Scarce Supervision for Lightweight Text Mining Model
Qianren Mao, Yashuo Luo, Ziqi Qin +12
The lightweight semi-supervised learning (LSL) strategy provides an effective approach of conserving labeled samples and minimizing model inference costs. Prior research has effect…