Tootfinder

Es ist schön zu sehen, dass @… schon hier ist.
Treibe ruhig mal in deiner Künstler*innen/Autor*innen Bubble die Fediverse Werbetrommel rühren.
Bring sie alle her.
Und verifiziere ruhig mal deinen account:

Verifizierung
Erfahre, wie du dich auf Mastodon verifizieren kannst

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Rolf Drechsler
https://arxiv.org/abs/2505.23311 https://

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Verification is one of the central tasks in circuit and system design. While simulation and emulation are widely used, complete correctness can only be ensured based on formal proof techniques. But these approaches often have very high run time and memory requirements. Recently, Polynomial Formal Verification (PFV) has been introduced showing that for many instances of practical relevance upper bounds on needed resources can be given. But proofs have to be provided that are human-readable. He…

Verbessert der Cost-Average-Effekt die #Rendite beim #Fondssparen?
Via @…
🌐

Spannender #Faktenfinder über "hochverarbeitete Lebensmittel":
"Durch die Kriterien der NOVA-Klassifikation kommt es zudem zu fragwürdigen Einteilungen, so die Experten. Beispielsweise werde unverpacktes Brot der Kategorie 3 zugeordnet, verpacktes Brot der Kategorie 4 - selbst bei identischen Zutaten. Denn zur Klassifizierung werden unter anderem auch die Art der Verpackung…

Warum hochverarbeitete Lebensmittel nicht automatisch ungesund sind
Je natürlicher, desto gesünder: Dieser Ernährungsmythos hält sich hartnäckig. Vor allem hochverarbeitete Lebensmittel stehen daher unter Generalverdacht. Dabei ist das aus wissenschaftlicher Sicht kaum haltbar.

„The EU is launching a new age verification app in July, establishing a tool that will potentially allow for tighter enforcement of rules requiring online platforms to protect minors online.“
EU to launch age-check app as pressure builds on Big Tech
https://www.ft.com/content/6b672468-a085-…

Texas Governor Signs Age Verification Bill Despite Heavy Pushback From Apple (PCMag, 27 May 2025)
https://www.pcmag.com/news/despite-heavy-pushback-from-apple-texas-gov-signs-age-verification-bill

Während Drogenskandals - Verabschiedung von Trump: Musk mit blauem Auge #News #Nachrichten

Aktuell wird eine Studie zitiert, dass Propagandawellen neu auch durch die «Umprogrammierung» von #KI-Chatbots passieren soll.
Im sogenannten AI Grooming werden abertausende Webseiten (mutmasslich auch von KI) verfasst, die in die Trainingsdaten der anderen KI-Modelle eindringen soll und diese so zu den gewünschten Aussagen verleiten sollen.
Die Studie sei overhyped, erklärt

This https://arxiv.org/abs/2301.06136 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantitative Verification with Neural Networks
We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tight and sound bounds for the probability that a stochastic process hits a target condition within finite time. This problem subsumes a variety of quantitative verification questions, from the reachability and safety analysis of discrete-time stochastic dynamical models, to the study of assertion-violation and terminatio…

Während Drogenskandals - Verabschiedung von Trump: Musk mit blauem Auge #News #Nachrichten