Tootfinder

COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
Zhiyuan Wang, Jinhao Duan, Qingni Wang, Xiaofeng Zhu, Tianlong Chen, Xiaoshuang Shi, Kaidi Xu
https://arxiv.org/abs/2506.20178

COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
Uncertainty quantification (UQ) for foundation models is essential to identify and mitigate potential hallucinations in automatically generated text. However, heuristic UQ approaches lack formal guarantees for key metrics such as the false discovery rate (FDR) in selective prediction. Previous work adopts the split conformal prediction (SCP) framework to ensure desired coverage of admissible answers by constructing prediction sets, but these sets often contain incorrect candidates, limiting the…

Subgraph Entropy
Tawfiq Ahmed, Tarik Aougab, Matt Clay
https://arxiv.org/abs/2506.18838 https://arxiv.org/pdf/2506.18838

Subgraph Entropy
Given $r \geq 3$, we prove that there exists $λ>0$ depending only on $r$ so that if $G$ is a metric graph of rank $r$ with metric entropy $1$, then there exists a proper subgraph $H$ of $G$ with metric entropy at least $λ$. This answers a question of the second two authors together with Rieck. We interpret this as a graph theoretic version of the Bers Lemma from hyperbolic geometry, and explain some connections to the pressure metric on the Culler-Vogtmann Outer Space.

Determinant formulas for finite Toeplitz plus Hankel matrices with rational symbols
Estelle Basor, Kent E. Morrison
https://arxiv.org/abs/2506.16613 https:…

Determinant formulas for finite Toeplitz plus Hankel matrices with rational symbols
In 1975 K. Michael Day produced an exact formula for the determinants of finite Toeplitz matrices whose symbols are rational. The answer is a sum that involves powers of the roots of the numerator of the symbol and whose coefficients depend on both the roots of the numerator and denominator. In this paper we prove an analogue of Day's formula for determinants of finite Toeplitz plus Hankel matrices with rational symbols. The key to the proof is an exact formula for the finite determinants that …

Mittwoch: Schadenersatz für deutschen Facebook-Nutzer, Sicherheitslecks bei AMD
Datenschutz-Urteil gegen Meta AMD-CPUs mit Lücken Verhaftung nach Exchange-Angriffen Drohnen-Mutterschiff von Airbus USA gegen Apple wegen iPhones

On matrices commuting with their Frobenius
Fabian Gundlach, B\'eranger Seguin
https://arxiv.org/abs/2506.08695 https://arxiv.org/…

On matrices commuting with their Frobenius
The Frobenius of a matrix $M$ with coefficients in $\bar{\mathbb F}_p$ is the matrix $σ(M)$ obtained by raising each coefficient to the $p$-th power. We consider the question of counting matrices with coefficients in $\mathbb F_q$ which commute with their Frobenius, asymptotically when $q$ is a large power of $p$. We give answers for matrices of size $2$, for diagonalizable matrices, and for matrices whose eigenspaces are defined over $\mathbb F_p$. Moreover, we explain what is needed to solve…

“Are we the baddies?” is not a question anyone in the West has to ask themselves. There’s no question about it. You were. You are. Will you continue to be? That’s the only question that matters and the answer is entirely up to you.
Silence is complicity.
Inaction is complicity.
Apologism is complicity.
Do something!
#israel

End Israeli Apartheid (@EndIsraeliApartheid@mastodon.social)
Attached: 1 image More RAF jets are being sent to the Middle East, Keir Starmer has said after Iran threatened to target UK, French and US bases if the countries help stop strikes on Israel. Additional refuelling aircraft have been deployed from UK bases and more fast jets will be sent over, it is understood. The UK already has RAF jets in the Middle East as part of Operation Shader. https://www.thenational.scot/news/25239897.uk-jets-sent-middle-east-despite-calls-de-escalation/ 🕎 �…

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
https://arxiv.org/abs/2507.11150

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents the time required to perform a computation: in an Arithmetic-Logic Unit it represents the maximum time taken by the circuit to perform an arithmetic operation. When such a circuit is part of a larger, synchronous system, like a CPU, the maximum delay directly impacts the maximum clock frequency of the entire system. Ty…

On families of Finsler metrics
Ismail Saglam (IRMA), Ken'Ichi Ohshika (IRMA), Athanase Papadopoulos (IRMA)
https://arxiv.org/abs/2506.03749 https://

On families of Finsler metrics
In this paper, we answer some natural questions on symmetrisation and more general combinations of Finsler metrics, with a view towards applications to Funk and Hilbert geometries and to metrics on Teichm{ü}ller spaces. For a general non-symmetric Finsler metric on a smooth manifold, we introduce two different families of metrics, containing as special cases the arithmetic and the max symmetrisations respectively of the distance functions associated with these Finsler metrics. We are intereste…

My good, how much I hate the internet and computers. I just wanna scream louder than I ever have at them, my good, I’m angry right now. All my life lost to a dumb-ass screen, brainwashed by the latest tech psyops on YouTube nobody asked for.
It’s like being trapped in a never-ending circus of clicks and scrolls, where the clowns are algorithms and the ringmaster is some faceless corporation laughing at how easy it is to fool us.
Computers and the internet promised freedom but del…

Maximal minors of $1$-generic matrices have rational singularities
Trung Chau, Manoj Kummini
https://arxiv.org/abs/2506.08385 https://

Maximal minors of $1$-generic matrices have rational singularities
We show that the quotient ring by the ideal of maximal minors of a $1$-generic matrix has rational singularities. This answers a conjecture of Eisenbud (1988) that such rings are normal, and generalizes a result of Conca, Mostafazadehfard, Singh and Varbaro (2018) that generic Hankel determinantal rings have rational singularities in characteristic zero.