Maximilian Seeliger

According to our database, Maximilian Seeliger authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Automated Approach for Solving Infinite-state Polynomial Reachability Games.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Maximilian Seeliger, Dorde Zikelic

CoRR, May, 2026

2025

Graph Product Representations.

Maximilian Seeliger, Fabian Jogl, Thomas Gärtner

Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2025

Human or Not? Light-Weight and Interpretable Detection of AI-Generated Text.

Maximilian Seeliger, Patrick Styll, Moritz Staudinger, Allan Hanbury

Proceedings of the Working Notes of the Conference and Labs of the Evaluation Forum, 2025

PolyQEnt: A Polynomial Quantified Entailment Solver.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic

Proceedings of the Automated Technology for Verification and Analysis, 2025

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2023

DoSSIER at TREC 2023 Clinical Trials Track.

Wojciech Kusa, Patrick Styll, Maximilian Seeliger, Óscar E. Mendoza, Allan Hanbury

Proceedings of the Thirty-Second Text REtrieval Conference Proceedings (TREC 2023), 2023