Kazumi Kasaura

20 papers A* 3Journal 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Homotopy-Aware Multi-Agent Path Planning on Plane.
J. Artif. Intell. Res.
Kazumi Kasaura
2025 J jnl
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean.
CoRR
Kazumi Kasaura, Naoto Onda, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
2025 J jnl
Generation of Geodesics with Actor-Critic Reinforcement Learning to Predict Midpoints.
J. Mach. Learn. Res.
Kazumi Kasaura
2025 J jnl
Lean Formalization of Generalization Error Bound by Rademacher Complexity.
CoRR
Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda
2025 J jnl
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.
CoRR
Naoto Onda, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
2025 A* conf
Near-Optimal Policy Identification in Robust Constrained Markov Decision Processes via Epigraph Form.
ICLR
Toshinori Kitamura, Tadashi Kozuno, Wataru Kumagai, Kenta Hoshino, Yohei Hosoe, Kazumi Kasaura, Masashi Hamaya, Paavo Parmas, Yutaka Matsuo
2025 J jnl
Provably Efficient RL under Episode-Wise Safety in Constrained MDPs with Linear Function Approximation.
CoRR
Toshinori Kitamura, Arnob Ghosh, Tadashi Kozuno, Wataru Kumagai, Kazumi Kasaura, Kenta Hoshino, Yohei Hosoe, Yutaka Matsuo
2025 J jnl
Symmetry-Breaking in Multi-Agent Navigation: Winding Number-Aware MPC with a Learned Topological Strategy.
CoRR
Tomoki Nakao, Kazumi Kasaura, Tadashi Kozuno
2024 J jnl
Generation of Geodesics with Actor-Critic Reinforcement Learning to Predict Midpoints.
CoRR
Kazumi Kasaura
2024 J jnl
Near-Optimal Policy Identification in Robust Constrained Markov Decision Processes via Epigraph Form.
CoRR
Toshinori Kitamura, Tadashi Kozuno, Wataru Kumagai, Kenta Hoshino, Yohei Hosoe, Kazumi Kasaura, Masashi Hamaya, Paavo Parmas, Yutaka Matsuo
2024 A* conf
Swarm Body: Embodied Swarm Robots.
CHI
Sosuke Ichihashi, So Kuroki, Mai Nishimura, Kazumi Kasaura, Takefumi Hiraki, Kazutoshi Tanaka, Shigeo Yoshida
2024 J jnl
Swarm Body: Embodied Swarm Robots.
CoRR
Sosuke Ichihashi, So Kuroki, Mai Nishimura, Kazumi Kasaura, Takefumi Hiraki, Kazutoshi Tanaka, Shigeo Yoshida
2023 J jnl
Benchmarking Actor-Critic Deep Reinforcement Learning Algorithms for Robotics Control With Action Constraints.
IEEE Robotics Autom. Lett.
Kazumi Kasaura, Shuwa Miura, Tadashi Kozuno, Ryo Yonetani, Kenta Hoshino, Yohei Hosoe
2023 J jnl
Benchmarking Actor-Critic Deep Reinforcement Learning Algorithms for Robotics Control with Action Constraints.
CoRR
Kazumi Kasaura, Shuwa Miura, Tadashi Kozuno, Ryo Yonetani, Kenta Hoshino, Yohei Hosoe
2023 J jnl
Homotopy-Aware Multi-Agent Path Planning in Plane.
CoRR
Kazumi Kasaura
2023 A* conf
Periodic Multi-Agent Path Planning.
AAAI
Kazumi Kasaura, Ryo Yonetani, Mai Nishimura
2023 J jnl
Periodic Multi-Agent Path Planning.
CoRR
Kazumi Kasaura, Ryo Yonetani, Mai Nishimura
2022 J jnl
Prioritized Safe Interval Path Planning for Multi-Agent Pathfinding With Continuous Time on 2D Roadmaps.
IEEE Robotics Autom. Lett.
Kazumi Kasaura, Mai Nishimura, Ryo Yonetani
2022 J jnl
Team O2AC at the world robot summit 2020: towards jigless, high-precision assembly.
Adv. Robotics
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
2022 J jnl
Uncertainty-Aware Manipulation Planning Using Gravity and Environment Geometry.
IEEE Robotics Autom. Lett.
Felix von Drigalski, Kazumi Kasaura, Cristian C. Beltran-Hernandez, Masashi Hamaya, Kazutoshi Tanaka, Takamitsu Matsubara