2 papers
cs.LO2026
A proof-theoretic approach to abstract interpretation
Vijay D'Silva, Alessandra Palmigiano, Apostolos Tzimoulis +1
This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the…
cs.PL2024
Abstract Interpretation-Based Data Leakage Static Analysis
Filip DrobnjakoviÄ, Pavle SubotiÄ, Caterina Urban
Data leakage is a well-known problem in machine learning. Data leakage occurs when information from outside the training dataset is used to create a model. This phenomenon renders…