publications

list of published papers I (co-)authored

2026

  1. neurips26.png
    Uncertainty Quantification for Flow-Based Vision-Language-Action Models
    Ralf Römer, Maximilian Seeliger, and 6 more authors
    arXiv preprint arXiv:2606.18043, 2026
    Best Paper HTML PDF Code
  2. ijcai26.png
    Automated Approach for Solving Infinite-state Polynomial Reachability Games
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, and 3 more authors
    In International Joint Conference on Artificial Intelligence (IJCAI), 2026
    PDF

2025

  1. mlg25.png
    Graph Product Representations
    Maximilian Seeliger, Fabian Jogl, and 1 more author
    In Mining and Learning with Graphs @ European Conference on Machine Learning (MLG @ ECML), 2025
    PDF Code
  2. pan25-preview.gif
    Human or Not? Light-Weight and Interpretable Detection of AI-Generated Text
    Maximilian Seeliger, Patrick Styll, and 2 more authors
    In CLEF Working Notes, 2025
    PDF Code
  3. aaai25-preview.png
    Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, and 4 more authors
    In Association for the Advancement of Artificial Intelligence (AAAI), 2025
    Oral PDF
  4. PolyQEnt: A Polynomial Quantified Entailment Solver
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, and 5 more authors
    In Automated Technology for Verification and Analysis (ATVA), 2025
    Distinguished Tool Paper PDF Code

2023

  1. DoSSIER at TREC 2023 Clinical Trials Track
    Wojciech Kusa, Patrick Styll, and 3 more authors
    In The Thirty-Second Text REtrieval Conference (TREC), 2023
    PDF