Tootfinder

Jonathan Gannon explains when he learned to take emotion out of coaching: 'When our quarterback went to jail'

https://www.cbssports.com/nfl/news/j…

Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Jonathan Leake, Shayan Oveis Gharan
https://arxiv.org/abs/2510.06549

Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Let $μ$ be a probability distribution on a multi-state spin system on a set $V$ of sites. Equivalently, we can think of this as a $d$-partite simplical complex with distribution $μ$ on maximal faces. For any pair of vertices $u,v\in V$, define the pairwise spectral influence $\mathcal{I}_{u,v}$ as follows. Let $σ$ be a choice of spins $s_w\in S_w$ for every $w\in V \setminus \{u,v\}$, and construct a matrix in $\mathbb{R}^{(S_u\cup S_v)\times (S_u\cup S_v)}$ where for any $s_u\in S_u, s_v\in…

A look at AI-powered "nudify" tools, which make it fast and easy to make nonconsensual, deepfake porn, and the limited legal options available to their victims (Jonathan Vanian/CNBC)
https://www.cnbc.com/2025/09/27/nudify-ai-generated-deepfake-fbi.html

How a 'nudify' site turned a group of friends into key figures in a fight against AI-generated porn
A group of friends in Minnesota last year learned that a man they knew had used their social media photos to create pornographic deepfakes.

Can Large Language Models Autoformalize Kinematics?
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, Andr\'e Platzer
https://arxiv.org/abs/2509.21840

Can Large Language Models Autoformalize Kinematics?
Autonomous cyber-physical systems like robots and self-driving cars could greatly benefit from using formal methods to reason reliably about their control decisions. However, before a problem can be solved it needs to be stated. This requires writing a formal physics model of the cyber-physical system, which is a complex task that traditionally requires human expertise and becomes a bottleneck. This paper experimentally studies whether Large Language Models (LLMs) can automate the formalizati…

On the Error Rate of Binary BCH Codes under Error-and-erasure Decoding
Sisi Miao, Jonathan Mandelbaum, Holger J\"akel, Laurent Schmalen
https://arxiv.org/abs/2509.24794 htt…

On the Error Rate of Binary BCH Codes under Error-and-erasure Decoding
Determining the exact decoding error probability of linear block codes is an interesting problem. For binary BCH codes, McEliece derived methods to estimate the error probability of a simple bounded distance decoding (BDD) for BCH codes. However, BDD falls short in many applications. In this work, we consider error-and-erasure decoding and its variants that improve upon BDD. We derive closed-form expressions for their error probabilities and validate them through simulations. Then, we illustrat…

Accurate Machine-Learning Description for SiC in Extreme Environments
Jintong Wu, Zhuang Shao, Junlei Zhao, Flyura Djurabekova, Kai Nordlund, Fredric Granberg, Qingmin Zhang, and Jesper Byggm\"astar
https://arxiv.org/abs/2510.01827

Accurate Machine-Learning Description for SiC in Extreme Environments
Silicon carbide (SiC) polymorphs are widely employed as nuclear materials, mechanical components, and wide-bandgap semiconductors. The rapid advancement of SiC-based applications has been complemented by computational modeling studies, including both ab initio and classical atomistic approaches. In this work, we develop a computationally efficient and general-purpose machine-learned interatomic potential (ML-IAP) capable of multimillion-atom molecular dynamics (MD) simulations over microsecond …