29 oct
|
University of Lleida
|
Madrid
29 oct
University of Lleida
Madrid
The University of Lleida invites applications for a fully funded Ph D position in the Logic & Optimization group, under Dr.
Los candidatos deben tomarse el tiempo de leer atentamente todos los elementos de este anuncio de empleo. Por favor, envíen su solicitud sin demora.
Carlos Ansótegui. The successful candidate will research at the intersection of SAT, Max SAT, proof complexity, and large language models. xlqxfvg This three-year MSCA-funded project aims to transform natural-language problem descriptions into formal Max SAT models, explore core sequences in core-guided Max SAT, and apply results to interpretable machine learning problems. #J-18808-Ljbffr
📌 Phd: llm-guided sat/maxsat core algorithms (Madrid)
🏢 University of Lleida
📍 Madrid