Publications

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, and Christoph Weidenbach. A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. arXiv, 2022. [PUMA: sciences in and Computer sciences, (cs.LO), information FOS: Science Logic] URL

Matti Wiegmann, Jennifer Rakete, Magdalena Wolska, Benno Stein, and Martin Potthast. If there's a Trigger Warning, then where's the Trigger? Investigating Trigger Warnings at the Passage Level. arXiv, 2024. [PUMA: sciences (cs.CY), Computation Society and Computer sciences, Language (cs.CL), information FOS: Computers] URL

Kim Breitwieser, Allison Lahnala, Charles Welch, Lucie Flek, and Martin Potthast. Modeling Proficiency with Implicit User Representations. arXiv, 2021. [PUMA: sciences Computation and Computer sciences, Language (cs.CL), information FOS:] URL

Suryanarayana Maddu, Bevan L. Cheeseman, Ivo F. Sbalzarini, and Christian L. Müller. Stability selection enables robust learning of partial differential equations from limited noisy data. arXiv, 2019. [PUMA: (physics.data-an), Analysis, Probability Data sciences, Numerical Statistics FOS: Machine Physical sciences Analysis (cs.LG), Learning (math.NA), Mathematics, and Computer information] URL