Tootfinder

A Comparative Analysis of Robust and Reliable Designs Using the Compromised Design Support Problem: A Case Study in Hot Rod Rolling Processes
Maryam Ghasemzadeh, H M Dilshad Alam Digonta, Anand Balu Nellippallil, Anton van Beek
https://arxiv.org/abs/2509.09422

A Comparative Analysis of Robust and Reliable Designs Using the Compromised Design Support Problem: A Case Study in Hot Rod Rolling Processes
Design under uncertainty is a challenging problem, as a systems performance can be highly sensitive to variations in input parameters and model uncertainty. A conventional approach to addressing such problems is robust optimization, which seeks to enhance design performance by reducing sensitivity to uncertainty. Alternatively, reliability-based design focuses on optimizing performance while ensuring that failure constraints are satisfied with a specified probability. While both methods are wel…

LLM-Based Repair of Static Nullability Errors
Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan
https://arxiv.org/abs/2507.20674 https://arxi…

LLM-Based Repair of Static Nullability Errors
Modern Java projects increasingly adopt static analysis tools that prevent null-pointer exceptions by treating nullness as a type property. However, integrating such tools into large, existing codebases remains a significant challenge. While annotation inference can eliminate many errors automatically, a subset of residual errors -- typically a mix of real bugs and false positives -- often persist and can only be resolved via code changes. Manually addressing these errors is tedious and error-p…

Heisenberg Translation Flows
Francisco Arana-Herrera, Jayadev Athreya, Giovanni Forni
https://arxiv.org/abs/2509.21803 https://arxiv.org/pdf/2509.21803

Heisenberg Translation Flows
We study ergodic theoretical properties of flows on circle bundles over translation surfaces that arise via prequantization, generalizing the theory of Heisenberg nilflows to base surfaces more general than tori; these flows are among the most fundamental examples of parabolic dynamical systems with non-trivial central directions. In particular, we show that such flows are relatively mixing, i.e., they exhibit decay of correlations in the orthogonal complement of functions constant along fibers…