Showing cs.CLShow 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.CL2024
Same Company, Same Signal: The Role of Identity in Earnings Call Transcripts
Ding Yu, Zhuo Liu, Hangfeng He
Post-earnings volatility prediction is critical for investors, with previous works often leveraging earnings call transcripts under the assumption that their rich semantics contrib…