Kazumi Kasaura

According to our database, Kazumi Kasaura authored at least 12 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.

Naoto Onda, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda

CoRR, June, 2025

Lean Formalization of Generalization Error Bound by Rademacher Complexity.

Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda

CoRR, March, 2025

Provably Efficient RL under Episode-Wise Safety in Constrained MDPs with Linear Function Approximation.

Toshinori Kitamura, Arnob Ghosh, Tadashi Kozuno, Wataru Kumagai, Kazumi Kasaura, Kenta Hoshino, Yohei Hosoe, Yutaka Matsuo

CoRR, February, 2025

Near-Optimal Policy Identification in Robust Constrained Markov Decision Processes via Epigraph Form.

Toshinori Kitamura, Tadashi Kozuno, Wataru Kumagai, Kenta Hoshino, Yohei Hosoe, Kazumi Kasaura, Masashi Hamaya, Paavo Parmas, Yutaka Matsuo

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Generation of Geodesics with Actor-Critic Reinforcement Learning to Predict Midpoints.

Kazumi Kasaura

CoRR, 2024

Swarm Body: Embodied Swarm Robots.

Sosuke Ichihashi, So Kuroki, Mai Nishimura, Kazumi Kasaura, Takefumi Hiraki, Kazutoshi Tanaka, Shigeo Yoshida

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023

Benchmarking Actor-Critic Deep Reinforcement Learning Algorithms for Robotics Control With Action Constraints.

Kazumi Kasaura, Shuwa Miura, Tadashi Kozuno, Ryo Yonetani, Kenta Hoshino, Yohei Hosoe

IEEE Robotics Autom. Lett., 2023

Homotopy-Aware Multi-Agent Path Planning in Plane.

Kazumi Kasaura

CoRR, 2023

Periodic Multi-Agent Path Planning.

Kazumi Kasaura, Ryo Yonetani, Mai Nishimura

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Prioritized Safe Interval Path Planning for Multi-Agent Pathfinding With Continuous Time on 2D Roadmaps.

Kazumi Kasaura, Mai Nishimura, Ryo Yonetani

IEEE Robotics Autom. Lett., 2022

Uncertainty-Aware Manipulation Planning Using Gravity and Environment Geometry.

Felix von Drigalski, Kazumi Kasaura, Cristian C. Beltran-Hernandez, Masashi Hamaya, Kazutoshi Tanaka, Takamitsu Matsubara

IEEE Robotics Autom. Lett., 2022

Team O2AC at the world robot summit 2020: towards jigless, high-precision assembly.

Felix von Drigalski, Cristian C. Beltran-Hernandez, Chisato Nakashima, Zhengtao Hu, Shuichi Akizuki, Toshio Ueshiba, Manabu Hashimoto, Kazumi Kasaura, Yukiyasu Domae, Weiwei Wan, Kensuke Harada

Adv. Robotics, 2022