arXiv preprints from January 1, 2026 through September 10, 2026 — 13:26:03 EST
We propose Symmetric Nonlinear Motion-guided Generative Video Frame Interpolation (SNM-VFI), a training-free framework for motion-controllable generative video frame interpolation with pre-trained optical flow and video diffusion models. Unlike conventional diffusion-based VFI methods that synthesize intermediate frames from random...
We address the use of large language models (LLMs) to help discover Isabelle proofs. An Isabelle build establishes that the submitted theory is accepted, but not that an LLM changed only what the developer authorised. We present CAPRI, a contract-aware repair workflow in which Isabelle checks the proof and an independent checker...
Fine-grained human action recognition (FHAR) must distinguish visually similar actions that differ mainly in body configuration, timing, or local appearance. RGB representations retain visual context but often suppress joint-level geometry, whereas skeleton representations encode kinematics but discard dense spatial detail. We...
Generating crystals has recently attracted significant interest due to their broad applications in materials science. However, existing generative models struggle to produce complete crystallographic specifications, limiting their ability to capture global symmetry and structural dependencies. In particular, current state-of-the-art...
World Models (WM) are increasingly seen as a foundation for intelligent agents that can predict, plan, and act beyond their training distribution. In this paper, we study WMs from a causal perspective across multiple levels of abstraction, ranging from perceptual observations to building a conceptual representation of the structure...
Medical foundation models learn latent representations of clinically meaningful phenotypes, yet their ability to support controllable image generation remains largely unexplored. We evaluate four retinal foundation models within the representation tokenizer framework and examine whether demographic and clinical information encoded in...
Knowing someone deeply means not just understanding what they say or do but also how they will likely think, react, and engage across situations. Such predictions could eventually inform systems to anticipate when the individual is about to deviate from their goal, catch regrettable behaviors before they are made, and surface blind...
Vision-Language-Action (VLA) models have emerged as generalist robotic policies capable of following diverse language instructions and performing a wide range of manipulation tasks. However, their direct control over embodied agents also exposes them to adversarial interference that may cause unsafe physical behaviors. Existing...
A stationary Poisson hyperplane process in $\mathbb{R}^d$ is characterized by an intensity parameter and an even probability measure on the unit sphere called the directional distribution. In this work, we investigate the stability of the zero cell, i.e., the random convex polytope of the induced hyperplane tessellation containing the...
For each integer $k \geq 3$ Hermann Karcher identified a complete singly periodic minimal surface $Ξ_k$ (unique up to similarity) with $2k$ ends asymptotic to the union of $k$ planes intersecting equiangularly along a single line and with genus zero in the quotient by a fundamental translation. Writing $Ξ_{k,m}$ for the quotient of...
Autonomous vehicles depend on large safety-critical software stacks, where weaknesses reachable from adversarial inputs may affect steering, braking, or other control decisions. Static analysis can identify candidate sites, but dynamically confirming exploitability requires executable test artifacts that are difficult to construct...
We propose a unified physical principle for entanglement harvesting: the entanglement that two localized detectors can extract from a quantum field is determined solely by how localized the field's effective spectral density is. We demonstrate this in an analytically solvable model of two qubits coupled to a leaky single-mode cavity,...
Social robots are expected to operate across diverse environments, where similar arrangements can imply different socially appropriate actions, e.g., starting a conversation may be acceptable in a crowded home but disruptive in an office meeting. Because such norms and environments cannot all be anticipated in advance, robots require...
Academic leagues have become important mechanisms for promoting extracurricular education and strengthening the integration between universities and society. This paper presents the organizational framework adopted by the Academic League of Artificial Intelligence (LIA) at the Federal University of Santa Catarina (UFSC), designed to...
Blue-noise sampling is widely used in computer graphics, but existing methods separate statistical modeling from scalable generation. Optimization and transport methods produce high-quality point sets by coupling all samples together. Procedural and tile-based samplers are local, but define their output only implicitly. We formulate...
We describe the asymptotics of Chebyshev polynomials on an analytic Jordan arc in the plane. This gives an affirmative answer to a conjecture of Christiansen-Simon-Zinchenko, based on predictions of Widom from 1969. The proof combines weighted Faber polynomials with extremal signatures, discrete orthogonal polynomials and a...
Machine learning ethics researchers and critical HCI scholars have argued that algorithmically predicting gender is wrong. At the same time, other researchers rely on predicted gender labels to study gender disparities and develop algorithmic fairness techniques. How do we reconcile these two seemingly contradictory intuitions? We...
We study fundamental gaps for the Dirichlet \(p\)-Laplacian on bounded convex domains with convex potentials. We prove log-concavity of the positive first eigenfunction by a regularization and two-point maximum principle. For \(N\geq2\), we identify a sharp transition at \(p=2\) through collapsing smooth convex domains: the gap...
Covariate-adaptive randomization procedures are widely used in clinical trials to improve covariate balance. In modern applications, experimenters often have access to many covariates, motivating the need for a theory of covariate-adaptive randomization procedures with a diverging number of covariates. In this paper, we study the...
Although multimodal large language models (MLLMs) have shown substantial potential in visual understanding and graphic code generation, editing scientific figures through code presents a greater challenge: a model must jointly recover visual structure, ground the requested change, generate compilable code, and preserve all unrelated...
We perform a linearized stability analysis of the Vlasov--Fokker--Planck equation obtained as the mean-field description of a stochastic spontaneous aggregation model with memory. Memory is represented by a chain of $K$ internal variables. We characterize the spatially homogeneous equilibria and derive a scalar dispersion relation for...
In this article, we explore a new paradigm for statistical inference. The approach centers around the point estimate based on observed data, simulating replicates using the estimate as the truth to produce clones of the estimate, with inference deriving from the clone distribution. It avoids prospective finite-dimensional model...
Contact-rich manipulation failures are often detected only after the robot has committed to contact. This is especially limiting in wrist-camera setups: close gripper--object views help observe contact, but a poor approach may already push, miss, slip, or disturb the object before conventional detectors react. We introduce...
A lattice Boltzmann scheme for the three-dimensional compressible Navier--Stokes--Fourier equations, derived automatically from the declared system by a symbolic compiler, is validated against exact solutions and published reference data. The declared system carries the viscous stress and the heat flux as transported state, and is...
This paper proposes a parameter estimation scheme for uplink MIMO systems assisted by a Hybrid Reconfigurable Intelligent Surface (HRIS). To reduce hardware complexity, the HRIS employs a small number of active elements arranged in a sparse coprime geometry for local sensing, while the remaining elements passively reflect signals....