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