Working Paper (120)
1281.
Working Paper
What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy. (2023), 24 pp.
1282.
Working Paper
Context-triggered Abstraction-based Control Design. (2023), 25 pp.
1283.
Working Paper
On the Within-Group Discrimination of Screening Classifiers. (2023), 25 pp.
1284.
Working Paper
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. (2023), 8 pp.
1285.
Working Paper
Perturbed Examples Reveal Invariances Shared by Language Models. (2023), 21 pp.
1286.
Working Paper
Designing Decision Support Systems Using Counterfactual Prediction Sets. (2023), 26 pp.
1287.
Working Paper
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. (2023), 24 pp.
1288.
Working Paper
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. (2023), 23 pp.
1289.
Working Paper
Leveraging Rights of Data Subjects for Social Media Analysis: Studying TikTok via Data Donations. (2023), 11 pp.
1290.
Working Paper
Admissible Policy Teaching through Reward Design. (2022), 32 pp.
1291.
Working Paper
Dandelion: Certified Approximations of Elementary Functions. (2022), 19 pp.
1292.
Working Paper
CoVault: A Secure Analytics Platform. (2022), 14 pp.
1293.
Working Paper
REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 pp.
1294.
Working Paper
"Nudes? Shouldn't I charge for these?": Exploring What Motivates Content Creation on OnlyFans. (2022), 14 pp.
1295.
Working Paper
What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 pp.
1296.
Working Paper
Data-Driven Abstraction-Based Control Synthesis. (2022), 14 pp.
1297.
Working Paper
Specification sketching for Linear Temporal Logic. (2022), 25 pp.
1298.
Working Paper
ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 pp.
1299.
Working Paper
Learning Interpretable Temporal Properties from Positive Examples Only. (2022), 22 pp.
1300.
Working Paper
From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 pp.