Charles Staats

According to our database, Charles Staats authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Positional Notation for Natural Numbers in an Arbitrary Base.

Charles Staats

Arch. Formal Proofs, 2023

2022

When adversarial examples are excusable.

Pieter-Jan Kindermans, Charles Staats

CoRR, 2022

Autoformalization with Large Language Models.

Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Self-attention Does Not Need O(n²) Memory.

Markus N. Rabe, Charles Staats

CoRR, 2021