Stefan Szeider
Stefan Szeider
Affiliation: TU Wien
Affiliation: TIUWien
Affiliation: Technical University of Vienna
Affiliation: TU Vienna
Talks
(ML4SP)
Algorithm Selection with Zero Domain Knowledge via Text Embeddings · Paper talks 1
(PoS)
PBLean: Pseudo-Boolean Proof Certificates for Lean 4 · Session 1: Proofs
(LLM-Solve)
Improving Constraint Models with LLM Agents · Session 4 - LLMs for Improving Solvers and Models
(PoS)
Reverse-Engineering Constraint Models from CNFs: An Agentic Approach · Session 6: Encodings
(ICLP)
ASP-Bench: From Natural Language to Logic Programs · Block 3 (Best DC + 4 RPR)
(CP)
VIPR Certificate Construction from Black-Box ILP Solvers · Verification, Certification
(ICLP)
Streamliners for Answer Set Programming · Block 9 (8 TC)
(SAT)
Session Chair — Invited Talk 2
(CP)
Smart Cubing for Graph Search: A Comparative Study · Theory 1
(CompBench)
Benchmarking for and with Language Models · Invited Talk
(IJCAR)
Formally Verified Graph Generation with SAT modulo Symmetries and Lean · Formalization & Interactive Proof
Pages in this Program
Program
Program on Saturday, 18 July 2026
ML4SP on Saturday, 18 July 2026
ML4SP Program
Program on Sunday, 19 July 2026
PoS on Sunday, 19 July 2026
PoS Program
LLM-Solve on Sunday, 19 July 2026
LLM-Solve Program
Program on Monday, 20 July 2026
ICLP on Monday, 20 July 2026
ICLP Program
Program on Tuesday, 21 July 2026
CP on Tuesday, 21 July 2026
CP Program
Program on Wednesday, 22 July 2026
ICLP on Wednesday, 22 July 2026
Program on Thursday, 23 July 2026
SAT on Thursday, 23 July 2026
SAT Program
CP on Thursday, 23 July 2026
Program on Saturday, 25 July 2026
CompBench on Saturday, 25 July 2026
CompBench Program
Program on Monday, 27 July 2026
IJCAR on Monday, 27 July 2026
IJCAR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑