Research author

Stefan Szeider

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Stefan Szeider

Aug 13, 2026
cs.AI

LLM-Guided Graph Generation for Structure-Based Local Improvement Methods

Hai Xia, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Jul 30, 2026
cs.AI

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean

Pablo Manrique, Stefan Szeider

Stefan Szeider — AI Research Papers | One9Founders