ARDE
Agent Orchestration Systems for Hard-to-Verify Domains