Tootfinder

Montag: Online-Störungen bei den Sparkassen, WhatsApp-Status wird multimedial
Online-Banking fehlerhaft WhatsApp-Status mit neuen Funktionen KI-Speicherbedarf besorgt Seagate Trickbot-Bandenchef identifiziert Rekord neuer E-Autos

https://www.pennlive.com/news/2025/09/ransomware-attack-targeting-pa-attorney-general-leads-to-case-delays-takes-down-some-critical-internal-systems.html
Ransomware attack ta…

Ransomware attack targeting Pa. attorney general leads to case delays, takes down some critical internal syst
The attack has impaired many functions of the agency, as some staff and prosecutors remain unable to access archived emails, files, and more.

A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
Christoph Beierle, Alexander Hahn, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald
https://arxiv.org/abs/2508.21441

A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
Forgetting as a knowledge management operation deliberately ignores parts of the knowledge and beliefs of an agent, for various reasons. Forgetting has many facets, one may want to forget parts of the syntax, a proposition, or a conditional. In the literature, two main operators suitable for performing forgetting have been proposed and investigated in depth: First, variable elimination is a syntactical method that blends out certain atomic variables to focus on the rest of the language. It has …

https://www.pennlive.com/news/2025/09/ransomware-attack-targeting-pa-attorney-general-leads-to-case-delays-takes-down-some-critical-internal-systems.html
Ransomware attack ta…

Ransomware attack targeting Pa. attorney general leads to case delays, takes down some critical internal syst
The attack has impaired many functions of the agency, as some staff and prosecutors remain unable to access archived emails, files, and more.

PiCSAR: Probabilistic Confidence Selection And Ranking
Joshua Ong Jun Leang, Zheng Zhao, Aryo Pradipta Gema, Sohee Yang, Wai-Chung Kwan, Xuanli He, Wenda Li, Pasquale Minervini, Eleonora Giunchiglia, Shay B. Cohen
https://arxiv.org/abs/2508.21787

PiCSAR: Probabilistic Confidence Selection And Ranking
Best-of-n sampling improves the accuracy of large language models (LLMs) and large reasoning models (LRMs) by generating multiple candidate solutions and selecting the one with the highest reward. The key challenge for reasoning tasks is designing a scoring function that can identify correct reasoning chains without access to ground-truth answers. We propose Probabilistic Confidence Selection And Ranking (PiCSAR): a simple, training-free method that scores each candidate generation using the jo…

One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
https://arxiv.org/abs/2506.23730 https://

One-Parametric Presburger Arithmetic has Quantifier Elimination
We give a quantifier elimination procedure for one-parametric Presburger arithmetic, the extension of Presburger arithmetic with the function $x \mapsto t \cdot x$, where $t$ is a fixed free variable ranging over the integers. This resolves an open problem proposed in [Bogart et al., Discrete Analysis, 2017]. As conjectured in [Goodrick, Arch. Math. Logic, 2018], quantifier elimination is obtained for the extended structure featuring all integer division functions $x \mapsto \lfloor{\frac{x}{f(…

This https://arxiv.org/abs/2504.01163 has been replaced.
initial toot: https://mastoxiv.page/@arX…

Minimal pole representation for spectral functions
Representing spectral densities, real-frequency, and real-time Green's functions of continuous systems by a small discrete set of complex poles is an ubiquitous problem in condensed matter physics, with applications ranging from quantum transport simulations to the simulation of strongly correlated electron systems. This paper introduces a method for obtaining a compact, approximate representation of these functions, based on their parameterization on the real axis and a given approximate preci…

URGENT-PK: Perceptually-Aligned Ranking Model Designed for Speech Enhancement Competition
Jiahe Wang, Chenda Li, Wei Wang, Wangyou Zhang, Samuele Cornell, Marvin Sach, Robin Scheibler, Kohei Saijo, Yihui Fu, Zhaoheng Ni, Anurag Kumar, Tim Fingscheidt, Shinji Watanabe, Yanmin Qian
https://arxiv.org/abs/2506.23874

URGENT-PK: Perceptually-Aligned Ranking Model Designed for Speech Enhancement Competition
The Mean Opinion Score (MOS) is fundamental to speech quality assessment. However, its acquisition requires significant human annotation. Although deep neural network approaches, such as DNSMOS and UTMOS, have been developed to predict MOS to avoid this issue, they often suffer from insufficient training data. Recognizing that the comparison of speech enhancement (SE) systems prioritizes a reliable system comparison over absolute scores, we propose URGENT-PK, a novel ranking approach leveraging…

Ok, this is hilarious. https://www.yankodesign.com/2025/06/27/worlds-narrowest-fiat-panda-is-one-anorexic-19-inch-wide-ev-destined-for-the-record-books/

A-MHA*: Anytime Multi-Heuristic A*
Ramkumar Natarajan, Muhammad Suhail Saleem, William Xiao, Sandip Aine, Howie Choset, Maxim Likhachev
https://arxiv.org/abs/2508.21637 https://…

A-MHA*: Anytime Multi-Heuristic A*
Designing good heuristic functions for graph search requires adequate domain knowledge. It is often easy to design heuristics that perform well and correlate with the underlying true cost-to-go values in certain parts of the search space but these may not be admissible throughout the domain thereby affecting the optimality guarantees of the search. Bounded suboptimal search using several such partially good but inadmissible heuristics was developed in Multi-Heuristic A* (MHA*). Although MHA* le…