Kazumi Kasaura

According to our database, Kazumi Kasaura authored at least 14 papers between 2022 and 2026.

Collaborative distances:

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

2026

Homotopy-Aware Multi-Agent Path Planning on Plane.

Kazumi Kasaura

J. Artif. Intell. Res., 2026

2025

Symmetry-Breaking in Multi-Agent Navigation: Winding Number-Aware MPC with a Learned Topological Strategy.

Tomoki Nakao, Kazumi Kasaura, Tadashi Kozuno

CoRR, November, 2025

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean.

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

CoRR, September, 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

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

Kazumi Kasaura

J. Mach. Learn. Res., 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

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

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