Tootfinder

Another of the supposed "defence experts" (aka #warmongers) advising Labour. The article identifies 2 others, "Lord Robertson, a former Nato secretary general, and the retired general Sir Richard Barrons".
Any experts on #peace,

"The world is full of darkness. So much is going wrong. Experts agree that America has succumbed to right-wing authoritarianism; call it fascism or something else, these are extraordinarily difficult times.
This post is a break from all of that. At least kind of.
In this piece, I will try and convince you that Doctor Who is the best TV show ever made, explain to you why it matters, and why it’s particularly important in our current context. In a time when cruelty and fear dominate headlines, it’s worth celebrating a show that insists on the power of kindness, intellect, and hope."
#DoctorWho
https://werd.io/2025/doctor-who-is-the-best-show-ever-made-heres-why

This https://arxiv.org/abs/2502.03956 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

POPACheck: A Model Checker for Probabilistic Pushdown Automata
We present POPACheck, the first model checking tool for probabilistic Pushdown Automata (pPDA) supporting temporal logic specifications. POPACheck provides a user-friendly probabilistic modeling language with recursion that automatically translates into Probabilistic Operator Precedence Automata (pOPA). pOPA are a class of pPDA that can express all the behaviors of probabilistic programs: sampling, conditioning, recursive procedures, and nested inference queries. On pOPA, POPACheck can solve re…

On the heat kernel of a Cayley graph of $\operatorname{PSL}_2\mathbb{Z}$
Anders Karlsson, Kamila Kashaeva
https://arxiv.org/abs/2506.02340 https://

On the heat kernel of a Cayley graph of $\operatorname{PSL}_2\mathbb{Z}$
In this paper, we obtain an explicit formula for the heat kernel on the infinite Cayley graph of the modular group $\operatorname{PSL}_2\mathbb{Z}$, given by the presentation $\langle a,b\mid a^2=1, b^3=1\rangle$. Our approach extends the method of Chung--Yau in~\cite{MR1667452} by observing that the Cayley graph strongly and regularly covers a weighted infinite line. We solve the spectral problem on this line to obtain an integral expression for its heat kernel, and then lift this to the Cayle…

Adaptability of ASR Models on Low-Resource Language: A Comparative Study of Whisper and Wav2Vec-BERT on Bangla
Md Sazzadul Islam Ridoy, Sumi Akter, Md. Aminur Rahman
https://arxiv.org/abs/2507.01931

Adaptability of ASR Models on Low-Resource Language: A Comparative Study of Whisper and Wav2Vec-BERT on Bangla
In recent years, neural models trained on large multilingual text and speech datasets have shown great potential for supporting low-resource languages. This study investigates the performances of two state-of-the-art Automatic Speech Recognition (ASR) models, OpenAI's Whisper (Small & Large-V2) and Facebook's Wav2Vec-BERT on Bangla, a low-resource language. We have conducted experiments using two publicly available datasets: Mozilla Common Voice-17 and OpenSLR to evaluate model performances. Th…

Polarized Neutrons at ISIS: Recent Developments And Highlights
Polly Mitchell, Holly I. Barnfield, Mark Devonport, Kirill Nemkovski, G{\o}ran J. Nilsen, Peter Galsworthy, Gavin B. G. Stenning
https://arxiv.org/abs/2506.05148

Polarized Neutrons at ISIS: Recent Developments And Highlights
We present two recent projects which aim to improve the performance of polarized neutron scattering experiments using hyperpolarized $^{3}He$ spin filters at ISIS. The first is the optimization of a new compact magnetostatic cavity ("Magic Box") to house the $^{3}He$ spin filters based on an existing design. With a length of only 380 mm, it provides a field gradient relaxation time for the $^{3}He$ cell of 421 h in ambient conditions. It also contains a radiofrequency coil for adiabatic fast pa…

Last night 8 of us got together for Call of Cthulhu. First RPG for one of us, and a couple of us with decades of experience gaming together. Went off without a hitch. Other than my reporter getting killed by a swarm of vermin (one of two deaths).

I Move Therefore I Learn: Experience-Based Traversability in Outdoor Robotics
Miguel \'Angel de Miguel, Jorge Beltr\'an, Juan S. Cely, Francisco Mart\'in, Juan Carlos Manzanares, Alberto Garc\'ia
https://arxiv.org/abs/2507.00882

I Move Therefore I Learn: Experience-Based Traversability in Outdoor Robotics
Accurate traversability estimation is essential for safe and effective navigation of outdoor robots operating in complex environments. This paper introduces a novel experience-based method that allows robots to autonomously learn which terrains are traversable based on prior navigation experience, without relying on extensive pre-labeled datasets. The approach integrates elevation and texture data into multi-layered grid maps, which are processed using a variational autoencoder (VAE) trained on…

Can LLMs Identify Critical Limitations within Scientific Research? A Systematic Evaluation on AI Research Papers
Zhijian Xu, Yilun Zhao, Manasi Patwardhan, Lovekesh Vig, Arman Cohan
https://arxiv.org/abs/2507.02694

Can LLMs Identify Critical Limitations within Scientific Research? A Systematic Evaluation on AI Research Papers
Peer review is fundamental to scientific research, but the growing volume of publications has intensified the challenges of this expertise-intensive process. While LLMs show promise in various scientific tasks, their potential to assist with peer review, particularly in identifying paper limitations, remains understudied. We first present a comprehensive taxonomy of limitation types in scientific research, with a focus on AI. Guided by this taxonomy, for studying limitations, we present LimitGe…

Human-Centric Evaluation for Foundation Models
Yijin Guo, Kaiyuan Ji, Xiaorong Zhu, Junying Wang, Farong Wen, Chunyi Li, Zicheng Zhang, Guangtao Zhai
https://arxiv.org/abs/2506.01793

Human-Centric Evaluation for Foundation Models
Currently, nearly all evaluations of foundation models focus on objective metrics, emphasizing quiz performance to define model capabilities. While this model-centric approach enables rapid performance assessment, it fails to reflect authentic human experiences. To address this gap, we propose a Human-Centric subjective Evaluation (HCE) framework, focusing on three core dimensions: problem-solving ability, information quality, and interaction experience. Through experiments involving Deepseek R…