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
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
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
Description Logics with Abstraction and Refinement. arXiv, 2023. [PUMA: (cs.AI), (cs.LO), Artificial Computer FOS: Intelligence Logic Science and in information sciences sciences,] URL
How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms. arXiv, 2018. [PUMA: (math.AT), (math.ST), Algebraic FOS: Mathematics Mathematics, Statistics Theory Topology] URL
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. arXiv, 2021. [PUMA: (cs.DB), (cs.LO), Computer Databases FOS: Logic Science and in information sciences sciences,] URL
Modeling Proficiency with Implicit User Representations. arXiv, 2021. [PUMA: (cs.CL), Computation Computer FOS: Language and information sciences sciences,] URL
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