TY  - RPRT
TI  - Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration
AU  - Ting Gong
AU  - Michael Ruofan Zeng
AU  - Yong Yang
PY  - 2026
UR  - https://arxiv.org/abs/2607.27705
ID  - 2607.27705
ER  -