Chenyu Ma

1. Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
   2024/03/08 by Zhi Zhang, Chenyu Ma, Zhang, Zhi +5 · 2 citations
   Computer Science · #Formal Methods in Verification
2. Harness Engineering for LLM-Driven GPU Kernel Generation
   2026/07/20 by Yue Shui, Chenyu Ma, Hangfei Xu +2
   #cs.LG #cs.AI