MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture (bibtex)

by Quang Pham, Ben Wooding, Luke Nam, Samuel Sasaki and Taylor T. Johnson

Reference:

Quang Pham, Ben Wooding, Luke Nam, Samuel Sasaki and Taylor T. Johnson, "MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, pp. 167–190, 2026.

Bibtex Entry:

@inproceedings{pham2026saiv,
  title = {MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture},
  author = {Quang Pham and Ben Wooding and Luke Nam and Samuel Sasaki and Taylor T. Johnson},
  year = {2026},
  month = jul,
  booktitle = {3rd International Symposium on AI Verification (SAIV 2026)},
  pages = {167--190},
  publisher = {Springer},
  doi = {10.1007/978-3-032-32357-6_8},
  publabel = {C69},
  pubtype = {C},
  dblp = {conf/saiv/PhamWNSJ26},
  s2id = {290967443},
}