Stefan Szeider

@szeider.bsky.social

88 Followers 65 Following

Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)

Invited talk at WHOOPS: From Verdicts to Theorems: Importing LRAT and VeriPB Certificates into Lean 4
Invited talk at CompBench: Benchmarking for and with Language Models
Paper presentations at
PoS: PBLean: Pseudo-Boolean Proof Certificates for Lean 4 and Reverse-Engineering Constraint Models from CNFs: An Agentic Approach
ML4SP: Algorithm Selection with Zero Domain Knowledge via Text Embeddings
CP: VIPR Certificate Construction from Black-Box ILP Solvers
ICLP: ASP-Bench: From Natural Language to Logic Programs
My students will present
CP Smart Cubing for Graph Search: A Comparative Study
ICLP Streamliners for Answer Set Programming
I will be a panelist at CP 2026 Panel on Thirty Years of Progress Towards the Holy Grail.

Sepp Hochreiter at the Paradigm Shift in Computer Science workshop @ TU Wien

Thomas Eiter at workshop on a Paradigm Shift in Computer Science.