Tootfinder

Computing Periodic Billiard Orbits in $L^p$ Balls via Newton's Method and Smale's $\alpha$-Criterion
Igor Rivin
https://arxiv.org/abs/2507.22251 https://

Computing Periodic Billiard Orbits in $L^p$ Balls via Newton's Method and Smale's $α$-Criterion
We present a computational method for finding and verifying periodic billiard orbits in $L^{p}$ balls ($p>2$) using Newton's method applied to a variational formulation. The orbits are verified with Smale's alpha-criterion, which provides a rigorous certificate of existence. We implement efficient batched computations in JAX and present systematic results for various $p$ and bounce counts $N$. Our experiments reveal striking patterns in the critical-point structure, including a predominance of …

Text (1/2):
Mark S. Zaid & Abbe David Lowell
Counsel for CDC Director Susan Monarez
August 27, 2025 - 7:03 pm ET
First it was independent advisory committees and career experts. Then it was the dismissal of seasoned scientists. Now, Secretary Kennedy and HHS have set their sights on weaponizing public health for political gain and putting millions of American lives at risk.

Dr. Lucky Tran :verified: (@luckytran@med-mastodon.com)
Attached: 1 image Wow the CDC director is now saying she was not officially fired and is refusing to resign.

MemoryVLA: Perceptual-Cognitive Memory in Vision-Language-Action Models for Robotic Manipulation
Hao Shi, Bin Xie, Yingfei Liu, Lin Sun, Fengrong Liu, Tiancai Wang, Erjin Zhou, Haoqiang Fan, Xiangyu Zhang, Gao Huang
https://arxiv.org/abs/2508.19236

MemoryVLA: Perceptual-Cognitive Memory in Vision-Language-Action Models for Robotic Manipulation
Temporal context is essential for robotic manipulation because such tasks are inherently non-Markovian, yet mainstream VLA models typically overlook it and struggle with long-horizon, temporally dependent tasks. Cognitive science suggests that humans rely on working memory to buffer short-lived representations for immediate control, while the hippocampal system preserves verbatim episodic details and semantic gist of past experience for long-term memory. Inspired by these mechanisms, we propose…

LLMxCPG: Context-Aware Vulnerability Detection Through Code Property Graph-Guided Large Language Models
Ahmed Lekssays, Hamza Mouhcine, Khang Tran, Ting Yu, Issa Khalil
https://arxiv.org/abs/2507.16585

LLMxCPG: Context-Aware Vulnerability Detection Through Code Property Graph-Guided Large Language Models
Software vulnerabilities present a persistent security challenge, with over 25,000 new vulnerabilities reported in the Common Vulnerabilities and Exposures (CVE) database in 2024 alone. While deep learning based approaches show promise for vulnerability detection, recent studies reveal critical limitations in terms of accuracy and robustness: accuracy drops by up to 45% on rigorously verified datasets, and performance degrades significantly under simple code modifications. This paper presents L…

Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
Lidia Losavio, Marco Paganoni, Carlo A. Furia
https://arxiv.org/abs/2508.17895 https://

Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
Lightweight validation technique, such as those based on random testing, are sometimes practical alternatives to full formal verification -- providing valuable benefits, such as finding bugs, without requiring a disproportionate effort. In fact, they can be useful even for fully formally verified tools, by exercising the parts of a complex system that go beyond the reach of formal models. In this context, this paper introduces BCC: a model-based testing technique for the Boogie intermediate v…

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Marco Ciccal\`e, Daniel Jurjo-Rivas, Jose F. Morales, Pedro L\'opez-Garc\'ia, Manuel V. Hermenegildo
https://arxiv.org/abs/2507.17233

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Higher-order constructs enable more expressive and concise code by allowing procedures to be parameterized by other procedures. Assertions allow expressing partial program specifications, which can be verified either at compile time (statically) or run time (dynamically). In higher-order programs, assertions can also describe higher-order arguments. While in the context of (C)LP, run-time verification of higher-order assertions has received some attention, compile-time verification remains rela…

HumanPCR: Probing MLLM Capabilities in Diverse Human-Centric Scenes
Keliang Li, Hongze Shen, Hao Shi, Ruibing Hou, Hong Chang, Jie Huang, Chenghao Jia, Wen Wang, Yiling Wu, Dongmei Jiang, Shiguang Shan, Xilin Chen
https://arxiv.org/abs/2508.13692

HumanPCR: Probing MLLM Capabilities in Diverse Human-Centric Scenes
The aspiration for artificial general intelligence, fueled by the rapid progress of multimodal models, demands human-comparable performance across diverse environments. We propose HumanPCR, an evaluation suite for probing MLLMs' capacity about human-related visual contexts across three hierarchical levels: Perception, Comprehension, and Reasoning (denoted by Human-P, Human-C, and Human-R, respectively). Human-P and Human-C feature over 6,000 human-verified multiple choice questions, assessing m…

$A=2,3,4$ nuclear contact coefficients in the generalized contact formalism
E. Proietti, L. E. Marcucci, M. Viviani
https://arxiv.org/abs/2508.02200 https://

$A=2,3,4$ nuclear contact coefficients in the generalized contact formalism
We present a theoretical calculation for the $A = 2, 3$ and 4 nuclear contact coefficients within the generalized contact formalism, using both local and non-local chiral potentials. The Hyperspherical Harmonics method is employed to calculate the nuclear wave functions, from which we derive two-body momentum distributions and density functions to extract the contact coefficients. We have verified that the contact coefficients, extracted from two-body momentum distributions or from density func…

Glassholes 4.0 - who would have thought that this is the usecase for these devices.
https://www.404media.co/a-cbp-agent-wore-meta-smart-glasses-to-an-immigration-raid-in-los-angeles/?ref=daily-stories-newsletter

DRIVE: Dynamic Rule Inference and Verified Evaluation for Constraint-Aware Autonomous Driving
Longling Geng, Huangxing Li, Viktor Lado Naess, Mert Pilanci
https://arxiv.org/abs/2508.04066

DRIVE: Dynamic Rule Inference and Verified Evaluation for Constraint-Aware Autonomous Driving
Understanding and adhering to soft constraints is essential for safe and socially compliant autonomous driving. However, such constraints are often implicit, context-dependent, and difficult to specify explicitly. In this work, we present DRIVE, a novel framework for Dynamic Rule Inference and Verified Evaluation that models and evaluates human-like driving constraints from expert demonstrations. DRIVE leverages exponential-family likelihood modeling to estimate the feasibility of state transit…