Tootfinder

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
Charaka Geethal Kapugama
https://arxiv.org/abs/2506.13273 https://

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
Incorrectly labelled test cases can adversely affect the training process of human-in-the-loop oracle learning tech-niques. This paper introduces ISONOISE, a technique designed to identify such mislabelled test cases introduced during human-in-the-loop oracle learning. This technique can be applied to programs taking numeric inputs. Given a compromised automatic test oracle and its training test suite, ISONOISE first isolates thetest cases suspected of being mislabelled. This task is performed …

Dynamical Properties of Dense Associative Memory
Kazushi Mimura, Jun'ichi Takeuchi, Yuto Sumikawa, Yoshiyuki Kabashima, Anthony C. C. Coolen
https://arxiv.org/abs/2506.00851

Dynamical Properties of Dense Associative Memory
The dense associative memory is one of the basic modern Hopfield networks and can store large numbers of memory patterns. While the stationary state storage capacity has been investigated so far, its dynamical properties have not been discussed. In this paper, we analyze the dynamics by means of an exact approach based on generating functional analysis. It allows us to investigate convergence properties as well as the size of the attraction basins. We also analyze the stationary state of the up…

Frequency Differences between Clocks on the Earth and the Moon
Mingyue Zhang, J\"urgen M\"uller, Sergei M. Kopeikin
https://arxiv.org/abs/2506.16377

Frequency Differences between Clocks on the Earth and the Moon
Based on general relativity, clock comparisons enable the determination of the gravity potential relative to a stable reference. Lunar surface clocks, owing to the Moon's low-noise conditions, high orbital stability, and broad Earth visibility, are promising reference clocks for global-scale comparisons between terrestrial clocks. Meanwhile, the need for an independent lunar time system-driven by future lunar navigation-requires maintaining links to terrestrial standards. This Letter simulates …