Kasaura, Kazumi

1. Near-Optimal Policy Identification in Robust Constrained Markov Decision Processes via Epigraph Form
   2024/08/29 by Toshinori Kitamura, Kitamura, Toshinori, Tadashi Kozuno +15 · 4 citations
   Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Markov Chains and Monte Carlo Methods #Optimization and Control (math.OC) #Reinforcement Learning in Robotics #Statistical Methods and Inference
2. Generation of Geodesics with Actor-Critic Reinforcement Learning to Predict Midpoints
   2024/07/02 by Kazumi Kasaura, Kasaura, Kazumi · 1 citation
   Engineering · #Design Education and Practice #BIM and Construction Integration #Manufacturing Process and Optimization
3. Homotopy-Aware Multi-Agent Path Planning on Plane
   2023/10/03 by Kasaura, Kazumi · 1 citation
   #Computational Geometry (cs.CG) #FOS: Computer and information sciences #Multiagent Systems (cs.MA)
4. Lean Formalization of Generalization Error Bound by Rademacher Complexity
   2025/03/25 by Sonoda, Sho, Kasaura, Kazumi, Mizuno, Yuma +2 · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Statistics Theory (math.ST)
5. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
   2025/06/27 by Onda, Naoto, Kasaura, Kazumi, Oriike, Yuta +3 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences