Risako Ando

PhD student, Keio University
Joined
April 2024

Names

Risako Ando (Preferred)

Emails

****@keio.jp (Confirmed)

Personal Links

Career & Education History

PhD student
Keio University (keio.jp)
2024 – Present
MS student
Keio University (keio.jp)
2022 – 2024
Undergrad student
Keio University (keio.jp)
2018 – 2022

Advisors, Relations & Conflicts

No relations added

Expertise

proof assistant
2024 – Present
explainability
2024 – Present
large language model
2023 – Present
logical inference
2022 – Present
proof theory
2021 – Present

Publications

Co-Authors