Daniel P. Ritter
- M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models
2025/04/14 by Junxiong Wang, Weizhong Li, Wen-Ding Li +11 · 3 voices · 14 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge