Chenyu Du

1. MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
   2026/06/11 by Jiacheng Chen, Xinyu Zhang, Shunkai Zhang +20 · 14 voices · 1 citation
   #cs.LG #cs.AI #cs.CL
2. Use of oxidoreduction potential as an indicator to regulate 1,3-propanediol fermentation by Klebsiella pneumoniae
   2005/07/14 by Chenyu Du, C. Du, H. Yan +5 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Engineering · Environmental Science · #Biofuel production and bioconversion #Microbial Fuel Cells and Bioremediation #Microbial Metabolic Engineering and Bioproduction
3. SecureNT: Smart Topology Obfuscation for Privacy-Aware Network Monitoring
   2024/12/11 by Chenyu Du, Du, Chengze, Shi, Jibin +2 · 1 citation
   Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Digital and Cyber Forensics