Showing 2026Show all
3 papers · 1 filter
cs.CL2026
Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving
Zhuo Liu, Ding Yu, Hangfeng He
Theorem proving in real-world Lean 4 projects is challenging because proofs often depend on project-specific context. While iterative refinement can use compiler errors to repair f…
cs.CL2026
Fast Numbers, Slow Language: Bridging Quantitative and Qualitative Earnings Signals
Ding Yu, Zhuo Liu, Hao Zhang +1
Earnings announcements release two types of information sequentially: quantitative surprise (numeric earnings-per-share (EPS)/revenue versus analyst estimate) arrives first in pres…
cs.CL2026
Style or Content? Evaluating Style Classifiers with Controlled Content Overlap
Zhuo Liu, Haozheng Du, Xiangxiang Xu +1
Style classifiers can use content cues that correlate with style labels in naturally collected data, yet we lack a systematic way to measure this reliance. We study this problem wi…