Scientific Publications

1241.

Working Paper

Eniser, H. F.; Wüstholz, V.; Christakis, M.: Automatically Testing Functional Properties of Code Translation Models. (2023), 13 pp.

MPG.PuRe

pre-print

1242.

Working Paper

Francis, P.; Berneanu, C.; Gashi, E.: SynDiffix: More accurate synthetic structured data. (2023), 14 pp.

MPG.PuRe

DOI

pre-print

1243.

Working Paper

Gan, J.; Majumdar, R.; Mandal, D.; Radanovic, G.: Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 pp.

MPG.PuRe

pre-print

1244.

Working Paper

Ghahremani, F.; Kelmendi, E.; Ouaknine, J.: Reachability in Injective Piecewise Affine Maps. (2023), 22 pp.

MPG.PuRe

pre-print

1245.

Working Paper

Goetzen, A.; Wang, R.; Redmiles, E. M.; Zannettou, S.; Ayalon, O.: Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 pp.

MPG.PuRe

pre-print

1246.

Working Paper

Kolling, C.; Speicher, T.; Nanda, V.; Toneva, M.; Gummadi, K.: Pointwise Representational Similarity. (2023), 33 pp.

MPG.PuRe

pre-print

1247.

Working Paper

Luca, F.; Maynard, J.; Noubissie, A.; Ouaknine, J.; Worrell, J.: Skolem Meets Bateman-Horn. (2023), 14 pp.

MPG.PuRe

DOI

pre-print

1248.

Working Paper

Luca, F.; Ouaknine, J.; Worrell, J.: Transcendence of Sturmian Numbers over an Algebraic Base. (2023), 8 pp.

MPG.PuRe

DOI

pre-print

1249.

Working Paper

Messias, J.; Pahari, V.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts. (2023), 20 pp.

MPG.PuRe

pre-print

1250.

Working Paper

Michelmann, S.; Kumar, M.; Norman, K. A.; Toneva, M.: Large Language Models can Segment Narrative Events Similarly to Humans. (2023), 15 pp.

MPG.PuRe

pre-print

1251.

Working Paper

Nanayakkara, P.; Smart, M. A.; Cummings, R.; Kaptchuk, G.; Redmiles, E. M.: What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy. (2023), 24 pp.

MPG.PuRe

pre-print

1252.

Working Paper

Nayak, S. P.; Egidio, L. N.; Della Rossa, M.; Schmuck, A.-K.; Jungers, R.: Context-triggered Abstraction-based Control Design. (2023), 25 pp.

MPG.PuRe

pre-print

1253.

Working Paper

Okati, N.; Tsirtsis, S.; Gomez Rodriguez, M.: On the Within-Group Discrimination of Screening Classifiers. (2023), 25 pp.

MPG.PuRe

pre-print

1254.

Working Paper

Phung, T.; Cambronero, J.; Gulwani, S.; Kohn, T.; Majumdar, R.; Singla, A.; Soares, G.: Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. (2023), 8 pp.

MPG.PuRe

pre-print

1255.

Working Paper

Rawal, R.; Toneva, M.: Perturbed Examples Reveal Invariances Shared by Language Models. (2023), 21 pp.

MPG.PuRe

pre-print

1256.

Working Paper

Straitouri, E.; Gomez Rodriguez, M.: Designing Decision Support Systems Using Counterfactual Prediction Sets. (2023), 26 pp.

MPG.PuRe

pre-print

1257.

Working Paper

Tercan, A.; Ghosh, A.; Eniser, H. F.; Christakis, M.; Singla, A.: Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. (2023), 24 pp.

MPG.PuRe

pre-print

1258.

Working Paper

Ye, L.; Khmelnitsky, I.; Haddad, S.; Barbot, B.; Bollig, B.; Leucker, M.; Neider, D.; Roy, R.: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. (2023), 23 pp.

MPG.PuRe

pre-print

1259.

Working Paper

Zannettou, S.; Nemeth, O.-N.; Ayalon, O.; Goetzen, A.; Gummadi, K.; Redmiles, E. M.; Roesner, F.: Leveraging Rights of Data Subjects for Social Media Analysis: Studying TikTok via Data Donations. (2023), 11 pp.

MPG.PuRe

pre-print

1260.

Working Paper

Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 pp.

MPG.PuRe

pre-print

Working Paper (118)

Notification Settings