Author

Jun-Ling Wang

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Preprint Oct 2026

DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving

DAPS, a dependency-aware premise selector with a structural neighborhood encoder, a group-level contrastive objective, and a Mathlib-then-Blueprint adaptation procedure is introduced, and experiments demonstrate that DAPS premises improve theorem proving on miniF2F and IMO-ProofBench.

Zi-Xuan Chen, Wen-Yuan Jiang, Jun-Ling Wang et al. · 0 citations