Charles Staats

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Quantitative And Qualitative

Reasoning Systems

Language Models For Information Retrieval

General Conditions

Top Venues

Arch. Formal Proofs

Publications

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. ICLR (2024)
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. CoRR (2024)
Charles Staats
Positional Notation for Natural Numbers in an Arbitrary Base. Arch. Formal Proofs 2023 (2023)
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. CoRR (2022)
Pieter-Jan Kindermans, Charles Staats
When adversarial examples are excusable. CoRR (2022)
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. NeurIPS (2022)
Markus N. Rabe, Charles Staats
) Memory. CoRR (2021)