Maestro — Unified Operational Formalism for LLM-based Theorem-proving Systems — is accepted at the VerifAI workshop at ICLR 2026. [paper]