Tootfinder

Inductive inference of gradient-boosted decision trees on graphs for insurance fraud detection
F\'elix Vandervorst, Bruno Deprez, Wouter Verbeke, Tim Verdonck
https://arxiv.org/abs/2510.05676

Inductive inference of gradient-boosted decision trees on graphs for insurance fraud detection
Graph-based methods are becoming increasingly popular in machine learning due to their ability to model complex data and relations. Insurance fraud is a prime use case, since false claims are often the result of organised criminals that stage accidents or the same persons filing erroneous claims on multiple policies. One challenge is that graph-based approaches struggle to find meaningful representations of the data because of the high class imbalance present in fraud data. Another is that insu…

KI-generierte Zusammenfassung von Google führt zu Gerüchten:
Vor knapp einer Woche war unser Leitungswasser wegen einer mikrobiologischen Verschmutzung nicht trinkbar. Die Bevölkerung wurde dazu aufgerufen, das Wasser abzukochen.
Nun gehen in lokalen Chats Screenshots rum, die behaupten, es wären PFAS gewesen. Die Google KI-Zusammenfassung spinnt das wohl aus einem Zeitungsartikel zusammen, in dem nebenbei über vergangene PFAS-Verunreinigungen berichtet wurde

SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
Th\'eophane Vallaeys, Jakob Verbeek, Matthieu Cord
https://arxiv.org/abs/2510.04961 https://

SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
Tokenizers are a key component of state-of-the-art generative image models, extracting the most important features from the signal while reducing data dimension and redundancy. Most current tokenizers are based on KL-regularized variational autoencoders (KL-VAE), trained with reconstruction, perceptual and adversarial losses. Diffusion decoders have been proposed as a more principled alternative to model the distribution over images conditioned on the latent. However, matching the performance o…

Eigentlich war ich froh, dass dieser verkehrspolitische Wi(r)tz in der Versenkung verschwunden ist. Wann wechselt dieser Geisterfahrer ins Team Zastrow?
https://striesen-oiger.de/2025/09/03/zuviel-autos-auf-radroute-dresden-o…

Zuviel Autos auf Radroute Dresden-Ost: Laubestraße wird teils Einbahnstraße - Striesen-Oiger
Dresden macht die Laubestraße zur Einbahnstraße, um Raser von der Radroute Ost fernzuhalten und die Sicherheit für Radfahrer zu verbessern

Ich hatte schon das #reMarkable 2, dann im letzten Jahr das Upgrade auf das reMarkable Paper Pro und jetzt lohnt sich der Weg ins Büro am Montag gleich doppelt, falls das reMarkable PP move schon ausgeliefert wird. #tablets

Ein Link ins @… Archiv von Anno Domini 2016:
https://www.heise.de/hintergrund/Anwalt-Mitchell…

MMSearch-Plus: A Simple Yet Challenging Benchmark for Multimodal Browsing Agents
Xijia Tao, Yihua Teng, Xinxing Su, Xinyu Fu, Jihao Wu, Chaofan Tao, Ziru Liu, Haoli Bai, Rui Liu, Lingpeng Kong
https://arxiv.org/abs/2508.21475

MMSearch-Plus: A Simple Yet Challenging Benchmark for Multimodal Browsing Agents
Large multimodal language models (MLLMs) are increasingly deployed as web agents, yet many multimodal browsing benchmarks can be solved by shallow, fixed workflows that lean on high-recall image search and nearby text-masking the genuinely multimodal challenges of fine-grained visual reasoning, provenance verification, and long-horizon tool use. We introduce MMSearch-Plus, a benchmark of 311 tasks that highly demand multimodal understanding while preserving the difficulty profile of strong text…

#Tesla hat in #Schweden im Tarifkonflikt mit der IF Metall immer noch mit Solidaritätblockaden zu kämpfen. Tesla wird seit Oktober 2023 bestreikt. Die zuständige Aufsichtsbehörde lehnt es ab, den Anschluss von Ladesäulen anzuordnen, da das Streikrecht durch die Verfassung geschützt ist.

Tesla får nobben – får inga nya laddstolpar
Elbilsjätten har begärt att Elmarknadsinspektionen (Ei) tar elnätsbolaget i örat, men får nobben av myndigheten.

On Automating Proofs of Multiplier Adder Trees using the RTL Books
Mayank Manjrekar (Arm Inc.)
https://arxiv.org/abs/2507.19010 https://arxiv.org/pdf/2507.…

On Automating Proofs of Multiplier Adder Trees using the RTL Books
We present an experimental, verified clause processor ctv-cp that fits into the framework used at Arm for formal verification of arithmetic hardware designs. This largely automates the ACL2 proof development effort for integer multiplier modules that exist in designs ranging from floating-point division to matrix multiplication.

Predictive Quality Assessment for Mobile Secure Graphics
Cas Steigstra, Sergey Milyaev, Shaodi You
https://arxiv.org/abs/2509.20028 https://arxiv.org/pdf/2…

Predictive Quality Assessment for Mobile Secure Graphics
The reliability of secure graphic verification, a key anti-counterfeiting tool, is undermined by poor image acquisition on smartphones. Uncontrolled user captures of these high-entropy patterns cause high false rejection rates, creating a significant 'reliability gap'. To bridge this gap, we depart from traditional perceptual IQA and introduce a framework that predictively estimates a frame's utility for the downstream verification task. We propose a lightweight model to predict a quality score…