Tootfinder

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…

„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-…

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

Und wo wir gerade bei underrated Mucke sind: wie konnte Snow Patrol so lange an mir vorbeigehen!?
https://open.spotify.com/album/7cbi6YeBaCjEdyzMdtwG45?si=cCWF1I7gSG-K1LMnEMJd0Q

The Forest Is The Path
Snow Patrol · Album · 2024 · 12 songs

Ich will mir nicht ausmalen, wie ich verfasst wäre, würde meine Wohngegend von einem Bergrutsch plattgemacht, aber "wir bauen das alles wieder auf" wäre vermutlich nicht meine erste Reakton, tbh.

Heftige #Gewitter mit Hagel bis 5cm in RLP und NRW. Empfehlungen des DWD:
- Aufenthalt im Freien vermeiden
- Schutz suchen
- Gewässer meiden
- überflutete und gefährdete Abschnitte meiden
- ggf. vorbeugend Hochwasser-Schutzmaßnahmen treffen

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…

Thermodynamic Constraints in DRAM cells: Experimental Verification of Energy Efficiency Limits in Information Erasure
Takase Shimizu, Kensaku Chida, Gento Yamahata, Katsuhiko Nishiguchi
https://arxiv.org/abs/2505.23087

Thermodynamic Constraints in DRAM cells: Experimental Verification of Energy Efficiency Limits in Information Erasure
We measured the energy efficiency of information erasure using silicon DRAM cells capable of counting charges on capacitors at the single-electron level. Our measurements revealed that the efficiency decreased as the erasure error rate decreased, and notably, the Landauer limit was not achieved even under effectively infinite-time operation. By comparing the measured efficiency with the Landauer limit, we identified a thermodynamic constraint that prevents DRAM from reaching this limit: the ina…

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