Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Melanie Weber

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Choir: An Open Protocol for Distributed Multi-Agent Autoformalization

Choir is an open protocol for distributed formalization that decomposes a project into tasks that can be completed by independent contributors, each running their own agent with their own LLM subscription, while coordinating entirely through the project's GitHub repository.

Yi-Di Qi, Melanie Weber · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.