| 2026 |
— |
conf |
EACL (Findings)
Jeonghun Baek, Kazuki Egashira, Shota Onohara, Atsuyuki Miyai, Yuki Imajuku, Hikaru Ikuta, Kiyoharu Aizawa
|
| 2025 |
J |
jnl |
CoRR
Kazuki Egashira, Robin Staab, Thibaud Gloaguen, Mark Vero, Martin T. Vechev
|
| 2025 |
— |
conf |
NAACL (Long Papers)
Shota Onohara, Atsuyuki Miyai, Yuki Imajuku, Kazuki Egashira, Jeonghun Baek, Xiang Yue, Graham Neubig, Kiyoharu Aizawa
|
| 2025 |
J |
jnl |
CoRR
Jeonghun Baek, Kazuki Egashira, Shota Onohara, Atsuyuki Miyai, Yuki Imajuku, Hikaru Ikuta, Kiyoharu Aizawa
|
| 2025 |
A* |
conf |
ICML
Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Tatsuki Kawakami, Kazuki Egashira, Atsuyuki Miyai, Go Irie, Kiyoharu Aizawa
|
| 2025 |
J |
jnl |
CoRR
Atsuyuki Miyai, Zaiying Zhao, Kazuki Egashira, Atsuki Sato, Tatsumi Sunada, Shota Onohara, Hiromasa Yamanishi, Mashiro Toyooka, Kunato Nishina, Ryoma Maeda, Kiyoharu Aizawa, Toshihiko Yamasaki
|
| 2024 |
A* |
conf |
NeurIPS
Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Shota Onohara, Atsuyuki Miyai, Yuki Imajuku, Kazuki Egashira, Jeonghun Baek, Xiang Yue, Graham Neubig, Kiyoharu Aizawa
|
| 2024 |
J |
jnl |
IEICE Trans. Inf. Syst.
Kazuki Egashira, Atsuyuki Miyai, Qing Yu, Go Irie, Kiyoharu Aizawa
|
| 2017 |
A |
conf |
MobiSys
Wataru Sasaki, Mikio Obuchi, Kazuki Egashira, Naohiro Isokawa, Yuki Furukawa, Yuuki Nishiyama, Tadashi Okoshi, Jin Nakazawa
|
| 2016 |
— |
conf |
MobiSys (Companion Volume)
Kazuki Egashira, Yuki Furukawa, Yuuki Nishiyama, Tadashi Okoshi, Jin Nakazawa, Hideyuki Tokuda
|