Researcher at Amazon Web Services pioneering a strategic initiative that combines automated reasoning with deep learning.
Referenced in coverage
“Kanna Shimizu contributed to the Verus-SpecGym benchmark and agentic environment for evaluating specification autoformalization.”