{"type": "article", "title": "Choir: An Open Protocol for Distributed Multi-Agent Autoformalization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/choir-an-open-protocol-for-distributed-multi-agent-autoformalization", "original_source": "https://www.snipvote.com/story/cmumcquf50002bvwf8hw73f1m", "published": "2026-09-29T07:49:28.156461+00:00", "accessed": "2026-09-29", "id": "choir-an-open-protocol-for-distributed-multi-agent-autoformalization"}