Abstract page for arXiv paper 2608.18084: Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving