Mirek Olšák
Mirek Olšák
Affiliation: Czech Institute of of Informatics, Robotics and Cybernetics (CIIRC)
Talks
(SMT)
LLM2SMT: Building an SMT Solver with Zero Human-Written Code · Learning, LLMs & Counting
Pages in this Program
Program
Program on Friday, 24 July 2026
SMT on Friday, 24 July 2026
SMT Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑