Marta Kwiatkowska
Marta Kwiatkowska
Affiliation: Department of Computer Science, University of Oxford, Oxford, UK
Pages in this Program
Solving MaxSAT Problems from Natural Language Descriptions with LLMs and PySAT
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑