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

Yi-Di Qi

h-index 3 View on Semantic Scholar

We have 3 of 9 papers

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.

Preprint Oct 2026

QEDIA: Quantum Program Verification in Lean

Practical quantum programs interleave quantum and classical computation: classical data shape the quantum operations that are performed, and measurement outcomes shape the classical computation that follows. Formal verification of such programs in a proof assistant requires mechanizing a program logic that handles this...

Yuan-Jie Ren, Zhi-Cheng Zhang, Jun-Yi Liu et al. · 0 citations
#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
#graph neural networks Review Aug 2026

Architectures for mathematical data

This work develops the principle that choosing a neural architecture is not a matter of choosing the largest model, but of choosing an inductive bias that matches the structure the data already has through three self-contained case studies.

Yi-Di Qi · 1 citation

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