Self-attention Does Not Need O(n2) Memory. - Markus N. Rabe; Charles Staats (CoRR, 2021)

Autoformalization with Large Language Models. - Yuhuai Wu; Albert Qiaochu Jiang; Wenda Li; Markus N. Rabe; Charles Staats; Mateja Jamnik; Christian Szegedy (NeurIPS, 2022)

When adversarial examples are excusable. - Pieter-Jan Kindermans; Charles Staats (CoRR, 2022)

Positional Notation for Natural Numbers in an Arbitrary Base. - Charles Staats (Arch. Formal Proofs, 2023)

Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. - Jin Peng Zhou; Charles Staats; Wenda Li; Christian Szegedy; Kilian Q. Weinberger; Yuhuai Wu (ICLR, 2024)