5 papers
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…
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…
Double-Edged Sword or Sharp Tool? Designing and Evaluating Triadic LLM-Teacher Collaboration for K-12 Writing at Scale
Canran Wang, Yuwen Yang, Zhen Wang +5
The double-edged sword of integrating Large Language Models (LLMs) requires an effective triadic collaboration mechanism among LLMs, teachers and students, especially for K-12 educ…
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…
On the Role of Model Prior in Real-World Inductive Reasoning
Zhuo Liu, Ding Yu, Hangfeng He
Large Language Models (LLMs) show impressive inductive reasoning capabilities, enabling them to generate hypotheses that could generalize effectively to new instances when guided b…