Felip Manyà
Felip Manyà
Affiliation: Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Barcelona, Spain
Affiliation: Artificial Intelligence Research Institute
Talks
(LLM-Solve)
Solving MaxSAT Problems from Natural Language Descriptions with LLMs and PySAT · Session 2 - LLMs for Constraint Model Generation
(PAAR)
Satisfiability for Probability Modalities · Session 3
Pages in this Program
Program
Program on Sunday, 19 July 2026
LLM-Solve on Sunday, 19 July 2026
LLM-Solve Program
Program on Saturday, 25 July 2026
PAAR on Saturday, 25 July 2026
PAAR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑