Charles Staats

1. Self-attention Does Not Need O(n²) Memory
   2021/12/10 by Markus N. Rabe, Charles Staats, Rabe, Markus N. +1 · 3 voices · 22 citations
   Computer Science · #Algorithms and Data Compression #Machine Learning and Algorithms #Parallel Computing and Optimization Techniques #cs.LG
2. Autoformalization with Large Language Models
   2022/05/25 by Yuhuai Wu, Wu, Yuhuai, Albert Q. Jiang +11 · 49 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Software Engineering (cs.SE) #Software Engineering Research
3. Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
   2024/03/26 by Jin Zhou, Charles Staats, Zhou, Jin Peng +9 · 25 citations
   Social Sciences · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Law #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)