2 papers
stat.ME2026
Predicting Bot Vulnerability from Posting Trajectories: Censored Functional Regression under Informative Sampling
Jake Koerner, Ana-Maria Staicu, Caitrin Murphy +4
In this manuscript, we propose a novel framework for Scalar-on Censored Informative-design Functional Regression or SoCIFR. This setting is increasingly common in modern longitudin…
cs.PL2024
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen +1
This paper describes a new abstract interpretation-based approach to verify temporal safety properties of recursive, higher-order programs. While prior works have provided theoreti…