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: (cs.LO), Computer FOS: Logic Science and in information sciences sciences,] URL

Nicolas Fraiman, Sayan Mukherjee, and Gugan Thoppe. The Shadow knows: Empirical Distributions of Minimum Spanning Acycles and Persistence Diagrams of Random Complexes. arXiv, 2020. [PUMA: (math.PR), 05E45 60C05, 60G57, FOS: Mathematics, Probability] 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: (cs.CL), (cs.CY), Computation Computer Computers FOS: Language Society and information sciences sciences,] URL

Kim Breitwieser, Allison Lahnala, Charles Welch, Lucie Flek, and Martin Potthast. Modeling Proficiency with Implicit User Representations. arXiv, 2021. [PUMA: (cs.CL), Computation Computer FOS: Language and information sciences sciences,] 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: (cs.LG), (math.NA), (physics.data-an), Analysis Analysis, Computer Data FOS: Learning Machine Mathematics, Numerical Physical Probability Statistics and information sciences sciences,] URL