Thesis Defense
Kevin Zhou
UIC
Model Theory and AI: Results in Query Learning of Automata and Weighted Model Counting
Abstract: Zoom link: https://uic.zoom.us/j/89147614381?pwd=xMxn5h1o5V3jIDhvqzKVI94q9rbvN8.1
Wednesday July 3, 2024 at 12:00 PM in 636 SEO