Ritter, Daniel

1. M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models
   2025/04/14 by Junxiong Wang, Weizhong Li, Wen-Ding Li +11 · 3 voices · 10 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
2. Non-Relational Databases on FPGAs: Survey, Design Decisions, Challenges
   2020/07/15 by Dann, Jonas, Ritter, Daniel, Fröning, Holger · 2 citations
   #Databases (cs.DB) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
3. Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator
   2021/11/07 by Walke, Homer, Ritter, Daniel, Trimbach, Carl +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)