Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration
DGX agentarXiv:2607.27705v1 Announce Type: cross Abstract: Large language models can contribute useful ideas to mathematical research, yet long-horizon proof attempts remain difficult to coordinate, evaluate,