Tootfinder

Recommending Variable Names for Extract Local Variable Refactorings
Taiming Wang, Hui Liu, Yuxia Zhang, Yanjie Jiang
https://arxiv.org/abs/2507.00413 https…

Recommending Variable Names for Extract Local Variable Refactorings
Extract local variable is one of the most popular refactorings, and most IDEs and refactoring tools provide automated support for this refactoring. However, we find approximately 70% of the names recommended by these IDEs are different from what developers manually constructed, adding additional renaming burdens to developers and providing limited assistance. In this paper, we introduce VarNamer, an automated approach designed to recommend variable names for extract local variable refactorings.…

Monitoring Robustness and Individual Fairness
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
https://arxiv.org/abs/2506.00496

Monitoring Robustness and Individual Fairness
Input-output robustness appears in various different forms in the literature, such as robustness of AI models to adversarial or semantic perturbations and individual fairness of AI models that make decisions about humans. We propose runtime monitoring of input-output robustness of deployed, black-box AI models, where the goal is to design monitors that would observe one long execution sequence of the model, and would raise an alarm whenever it is detected that two similar inputs from the past…

AVM kündigt Outdoor-Repeater und drei neue Wi-Fi-7-Fritzboxen an
Die Fritzboxen 7630 und 7632 sind für DSL-Anschlüsse gedacht, die 4630 verzichtet auf ein Modem. Der Fritz-Repeater 1610 Outdoor ist robust.

With new questions about his acuity, Biden's pardon choices should be revisited (The Hill)
https://thehill.com/opinion/criminal-justice/5325492-with-new-questions-about-his-acuity-bidens-pardon-choices-should-be-revisited/
http://www.memeorandum.com/250602/p123#a250602p123

No certainty of a Milky Way–#Andromeda collision: https://www.nature.com/articles/s41550-025-02563-1 -> Hubble and Gaia revisit fate of our galaxy: https://www.esa.int/Science_Exploration/Space_Science/Hubble_and_Gaia_revisit_fate_of_our_galaxy / Apocalypse When? Hubble Casts Doubt on Certainty of Galactic Collision: https://science.nasa.gov/missions/hubble/apocalypse-when-hubble-casts-doubt-on-certainty-of-galactic-collision/

On the Scaling of Robustness and Effectiveness in Dense Retrieval
Yu-An Liu, Ruqing Zhang, Jiafeng Guo, Maarten de Rijke, Yixing Fan, Xueqi Cheng
https://arxiv.org/abs/2505.24279 …

On the Scaling of Robustness and Effectiveness in Dense Retrieval
Robustness and Effectiveness are critical aspects of developing dense retrieval models for real-world applications. It is known that there is a trade-off between the two. Recent work has addressed scaling laws of effectiveness in dense retrieval, revealing a power-law relationship between effectiveness and the size of models and data. Does robustness follow scaling laws too? If so, can scaling improve both robustness and effectiveness together, or do they remain locked in a trade-off? To answ…

Wasserstein Distributionally Robust Adaptive Beamforming
Kiarash Hassas Irani, Sergiy A. Vorobyov, Yongwei Huang
https://arxiv.org/abs/2506.01154 https://

Wasserstein Distributionally Robust Adaptive Beamforming
Distributionally robust optimization (DRO)-based robust adaptive beamforming (RAB) enables enhanced robustness against model uncertainties, such as steering vector mismatches and interference-plus-noise covariance matrix estimation errors. Existing DRO-based RAB methods primarily rely on uncertainty sets characterized by the first- and second-order moments. In this work, we propose a novel Wasserstein DRO-based beamformer, using the worst-case signal-to-interference-plus-noise ratio maximizatio…

Robust design of bicycle infrastructure networks
https://www.nature.com/articles/s41598-025-99976-9

Robust design of bicycle infrastructure networks - Scientific Reports
Promoting active mobility like cycling relies on the availability of well-connected, high-quality bicycle networks. However, expanding these networks over an extended planning horizon presents one of the most complex challenges in transport science. This complexity arises from the intricate interactions between infrastructure availability and usage, such as network spillover effects and mode choice substitutions. In this paper, we approach the problem from two perspectives: direct optimization …

$\texttt{AVROBUSTBENCH}$: Benchmarking the Robustness of Audio-Visual Recognition Models at Test-Time
Sarthak Kumar Maharana, Saksham Singh Kushwaha, Baoming Zhang, Adrian Rodriguez, Songtao Wei, Yapeng Tian, Yunhui Guo
https://arxiv.org/abs/2506.00358

$\texttt{AVROBUSTBENCH}$: Benchmarking the Robustness of Audio-Visual Recognition Models at Test-Time
While recent audio-visual models have demonstrated impressive performance, their robustness to distributional shifts at test-time remains not fully understood. Existing robustness benchmarks mainly focus on single modalities, making them insufficient for thoroughly assessing the robustness of audio-visual models. Motivated by real-world scenarios where shifts can occur $\textit{simultaneously}$ in both audio and visual modalities, we introduce $\texttt{AVROBUSTBENCH}$, a comprehensive benchmark…

Minimal Construction of Graphs with Maximum Robustness
Haejoon Lee, Dimitra Panagou
https://arxiv.org/abs/2507.00415 https://arxiv.or…

Minimal Construction of Graphs with Maximum Robustness
The notions of network $r$-robustness and $(r,s)$-robustness have been earlier introduced in the literature to achieve resilient control in the presence of misbehaving agents. However, while higher robustness levels provide networks with higher tolerances against the misbehaving agents, they also require dense communication structures, which are not always desirable for systems with limited capabilities and energy capacities. Therefore, this paper studies the fundamental structures behind $r$-r…