Daniel Ritter

1. M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models
   2025/04/14 by Junxiong Wang, Wang, Junxiong, Weizhong Li +11 · 3 voices · 14 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
2. Learning Finite Linear Temporal Logic Specifications with a Specialized\n Neural Operator
   2021/11/07 by Homer Walke, Daniel Ritter, Walke, Homer +5 · 2 citations
   Computer Science · #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #Natural Language Processing Techniques
3. Demystifying Memory Access Patterns of FPGA-Based Graph Processing Accelerators
   2021/03/31 by Jonas Dann, Daniel Ritter, Dann, Jonas +3 · 1 voice
   Computer Science · #Databases (cs.DB) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #cs.AR #cs.DB