Ziju Shen

1. Learning to Discretize: Solving 1D Scalar Conservation Laws via Deep Reinforcement Learning
   2019/05/27 by Yufei Wang, Wang, Yufei, Ziju Shen +5 · 1 citation
   Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Computational Physics (physics.comp-ph) #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Numerical Analysis (math.NA)
2. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
   2025/05/27 by Ziju Shen, Shen, Ziju, Huang, Naohao +22 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing