Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Takaaki Tateishi
conf.researchr.org general profile
ASE 2025 profile
POPL 2017 profile
Not registered as user
Name:
Takaaki Tateishi
Affiliation:
IBM Research - Tokyo
Contributions
2025
AISM
Author of Grammar- and Coverage-based Augmentation of Programs for Training LLMs within the AISM 2025-track
2017
RDP
Author of Verification Challenges in Applications of Blockchain for Business Collaboration within the RDP-track
Share
x
Tue 18 Nov 08:28