Tootfinder

Sen. Klobuchar urges peers to mitigate 'inflamed' rhetoric after Minnesota shootings (NPR)
https://www.npr.org/2025/06/16/nx-s1-5434268/minnesota-shooting-amy-klobuchar
http://www.memeorandum.com/250616/p84#a250616p84

Ich bin wirklich sehr gespannt auf den zweitägigen "Crisis Emergency Response Technician“-Kurs von Cadus auf dem Kollaps-Camp.
Etwas in die Richtung wollte ich schon länger mal machen.
https://kollapscamp.de/programm/

Programm
Solidarisch und handlungsfähig in der Polykrise

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
Jiyao Zhang, Chengli Zhong, Hui Xu, Qige Li, Yi Zhou
https://arxiv.org/abs/2507.08665

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
Modern large language models (LLMs) show promising progress in formalizing informal mathematics into machine-verifiable theorems. However, these methods still face bottlenecks due to the limited quantity and quality of multilingual parallel corpora. In this paper, we propose a novel neuro-symbolic framework KELPS (Knowledge-Equation based Logical Processing System) to address these problems. KELPS is an iterative framework for translating, synthesizing, and filtering informal data into multiple…

Variational Inference with Mixtures of Isotropic Gaussians
Marguerite Petit-Talamon, Marc Lambert, Anna Korba
https://arxiv.org/abs/2506.13613 https://

Variational Inference with Mixtures of Isotropic Gaussians
Variational inference (VI) is a popular approach in Bayesian inference, that looks for the best approximation of the posterior distribution within a parametric family, minimizing a loss that is typically the (reverse) Kullback-Leibler (KL) divergence. In this paper, we focus on the following parametric family: mixtures of isotropic Gaussians (i.e., with diagonal covariance matrices proportional to the identity) and uniform weights. We develop a variational framework and provide efficient algori…

Covert Capacity of AWGN Channels under Average Error Probability
C. Bouette, L. Luzzi, M. Bloch
https://arxiv.org/abs/2506.14483 https://

Covert Capacity of AWGN Channels under Average Error Probability
We derive upper and lower bounds for the covert capacity of Additive White Gaussian Noise channels when measuring reliability in terms of the average error probability and covertness in terms of Kullback-Leibler divergence. This characterization confirms the absence of strong converse for this setting in both the reliability and covertness parameters. The crux of our approach is to analyze a codebook of BPSK-modulated codewords carefully augmented with "all-zero" codewords.

Sen. Amy Klobuchar says authorities believe suspect in 'politically motivated assassination' is still in the Midwest (Megan Lebowitz/NBC News)
https://www.nbcnews.com/news/us-news/klobuchar-says-authorities-believe-suspect-politically-motivated-killi-rcna213118
http://www.memeorandum.com/250615/p35#a250615p35

The empirical discrete copula process
Gery Geenens, Ivan Kojadinovic, Tommaso Martini
https://arxiv.org/abs/2506.12316 https://arxiv.…

The empirical discrete copula process
This paper develops a general inferential framework for discrete copulas on finite supports in any dimension. The copula of a multivariate discrete distribution is defined as Csiszar's I-projection (i.e., the minimum-Kullback-Leibler divergence projection) of its joint probability array onto the polytope of uniform-margins probability arrays of the same size, and its empirical estimator is obtained by applying that same projection to the array of empirical frequencies observed on the sample. Un…

G/O Media sells gaming news site Kotaku to Keleops, the European company that acquired Gizmodo in 2024, leaving G/O Media with just one property, The Root (Kerry Flynn/Axios)
https://www.axios.com/2025/07/02/kotaku-sale-keleops-go-media

G/O Media sells Kotaku to Gizmodo owner Keleops
The Root is now the only media brand left at G/O Media.

Communication Complexity of Exact Sampling under R\'enyi Information
Spencer Hill, Fady Alajaji, Tam\'as Linder
https://arxiv.org/abs/2506.12219 ht…

Communication Complexity of Exact Sampling under Rényi Information
We study the problem of communicating a sample from a probability distribution $P$ given shared access to a sequence distributed according to another probability distribution $Q$. Li and El Gamal used the Poisson functional representation to show that the minimum expected message length to communicate a sample from $P$ can be upper bounded by $D(P||Q) + \log (D(P||Q) + 1) + 4$, where $D(\, \cdot \, || \, \cdot\, )$ is the Kullback-Leibler divergence. We generalize …

'This is not a joke': Sen. Amy Klobuchar rips Mike Lee for posts about a deadly Minnesota shooting (Salt Lake Tribune)
https://www.sltrib.com/news/politics/2025/06/16/mineesota-shootinig-sen-amy/
http://www.memeorandum.com/250616/p127#a250616p127