Qinghua Zhou
- RWKV: Reinventing RNNs for the Transformer Era
2023/05/22 by Bo Peng, Peng, Bo, Eric Alcaide +71 · 2 voices · 142 citations
Computer Science · #Advanced Neural Network Applications #Domain Adaptation and Few-Shot Learning #Topic Modeling #cs.AI #cs.CL
- StepProof: Step-by-step verification of natural language mathematical proofs
2025/06/12 by Xiaolin Hu, Qinghua Zhou, Hu, Xiaolin +5 · 3 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Formal Methods in Verification