Kanna Shimizu
Employers on the program
- 2025Amazon Web Services1 talk
Events1
Conferences1
Talks1
Years active2025
The year around now
Talks in the past 12 months and announced talks ahead, one row per conference, January to December. Hover a mark for the talk.
Appearances by year
- AWS re:Invent
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Dec 1, 2025 | AWS re:Invent 2025 | AWS re:Invent | chalk talk | Neurosymbolic AI integration in LLMs to enhance reasoning as Amazon Web Services This session explores the integration of Neurosymbolic AI with Large Language Models (LLMs), demonstrating how formal verification techniques can enhance model…Show lessThis session explores the integration of Neurosymbolic AI with Large Language Models (LLMs), demonstrating how formal verification techniques can enhance model reasoning capabilities beyond traditional training approaches. |
Frequent co-speakers
No one else spoke at two or more of the same events.
Speakers with the same name are merged into one entry, so this page may combine more than one person. Affiliations are shown as each conference listed them.