245.654 hasil
Menampilkan 261–280 · 0,62 detik · RSS
-
Preprint Teks lengkap
Agent-Sentry: Bounding LLM Agents via Execution Provenance
Agentic computing systems, which autonomously spawn new functionalities based on natural language instructions, are becoming increasingly prevalent. While immensely capable, these systems raise serious security, privacy, and safety concerns. Fundamentally, the full set of functionalities offered by…
-
Preprint Teks lengkap
Designing to Forget: Deep Semi-parametric Models for Unlearning
Recent advances in machine unlearning have focused on developing algorithms to remove specific training samples from a trained model. In contrast, we observe that not all models are equally easy to unlearn. Hence, we introduce a family of deep semi-parametric models (SPMs) that exhibit…
-
Preprint Teks lengkap
Dynamical Systems Theory Behind a Hierarchical Reasoning Model
Current large language models (LLMs) primarily rely on linear sequence generation and massive parameter counts, yet they severely struggle with complex algorithmic reasoning. While recent reasoning architectures, such as the Hierarchical Reasoning Model (HRM) and Tiny Recursive Model (TRM)…
-
Preprint Teks lengkap
ForeSea: AI Forensic Search with Multi-modal Queries for Video Surveillance
Despite decades of work, surveillance still struggles to find specific targets across long, multi-camera video. Prior methods -- tracking pipelines, CLIP based models, and VideoRAG -- require heavy manual filtering, capture only shallow attributes, and fail at temporal reasoning. Real-world…
-
Preprint Teks lengkap
A Lavrentiev phenomenon in the neo-Hookean model
We exhibit a Lavrentiev gap phenomenon for the neo-Hookean energy in three-dimensional nonlinear elasticity. More precisely, we construct boundary data for which the infimum of the neo-Hookean energy over deformations satisfying a natural regularity and invertibility condition is strictly larger…
-
Preprint Teks lengkap
Template-Based Feature Aggregation Network for Industrial Anomaly Detection
Industrial anomaly detection plays a crucial role in ensuring product quality control. Therefore, proposing an effective anomaly detection model is of great significance. While existing feature-reconstruction methods have demonstrated excellent performance, they face challenges with shortcut…
-
Preprint Teks lengkap
Parametric Modulation of Nonlinear Coupling in the Hénon Heiles System: Resonances, Chaos, and Stabilization
We investigate parametric modulation of the nonlinear coupling in the Henon Heiles system, which directly modifies intrinsic resonance structure in a manner complementary to additive forcing. Canonical perturbation theory in extended phase space yields normal forms predicting resonance tongues…
-
Preprint Teks lengkap
Grounding Sim-to-Real Generalization in Dexterous Manipulation: An Empirical Study with Vision-Language-Action Models
Learning a generalist control policy for dexterous manipulation typically relies on large-scale datasets. Given the high cost of real-world data collection, a practical alternative is to generate synthetic data through simulation. However, the resulting synthetic data often exhibits a significant…
-
Preprint Teks lengkap
Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
Efficient solutions for satisfiability modulo theories (SMT) are integral in industrial applications such as hardware verification and design automation. Existing approaches are predominantly based on conflict-driven clause learning, which is structurally difficult to parallelize and therefore…
-
Preprint Teks lengkap
On generalized Thabit numbers $(p+1)p^\mathfrak{a}-1$ in the $k$-Lucas sequence
Let $k\ge 2$ and $\{L_n^{(k)}\}_{n\geq 2-k}$ be the sequence of $k$-Lucas numbers whose first $k$ terms are $0,\ldots,0,2,1$ and each term afterwards is the sum of the preceding $k$ terms. In this paper, we solve the Diophantine equation $L_n^{(k)}=(p+1)p^\mathfrak{a}-1$, for a Mersenne or Fermat…
-
Preprint Teks lengkap
Confidence Calibration under Ambiguous Ground Truth
Confidence calibration assumes a unique ground-truth label per input, yet this assumption fails wherever annotators genuinely disagree. Post-hoc calibrators fitted on majority-voted labels, the standard single-label targets used in practice, can appear well-calibrated under conventional evaluation…
-
Preprint Teks lengkap
Portfolio Optimization under Recursive Utility via Reinforcement Learning
We study whether a risk-sensitive objective from asset-pricing theory -- recursive utility -- improves reinforcement learning for portfolio allocation. The Bellman equation under recursive utility involves a certainty equivalent (CE) of future value that has no closed form under observed returns…
-
Preprint Teks lengkap
Cooperative Bandit Learning in Directed Networks with Arm-Access Constraints
Sequential decision-making under uncertainty often involves multiple agents learning which actions (arms) yield the highest rewards through repeated interaction with a stochastic environment. This setting is commonly modeled by cooperative multi-agent multi-armed bandit problems, where agents…
-
Preprint Teks lengkap
TreeTeaming: Autonomous Red-Teaming of Vision-Language Models via Hierarchical Strategy Exploration
The rapid advancement of Vision-Language Models (VLMs) has brought their safety vulnerabilities into sharp focus. However, existing red teaming methods are fundamentally constrained by an inherent linear exploration paradigm, confining them to optimizing within a predefined strategy set and…
-
Preprint Teks lengkap
Constructive characterizations concerning total outer-independent domination in subdivision trees
Let $G$ be a nontrivial connected graph with vertex set $V(G)$. A set of vertices $D\subseteq V(G)$ is called a total outer-independent dominating set of $G$ if every vertex of $G$ is adjacent to at least one vertex in $D$, and $V(G)\setminus D$ is an independent set of $G$. The total…
-
Preprint Teks lengkap
Conditionally Identifiable Latent Representation for Multivariate Time Series with Structural Dynamics
We propose the Identifiable Variational Dynamic Factor Model (iVDFM), which learns latent factors from multivariate time series with identifiability guarantees. By applying iVAE-style conditioning to the innovation process driving the dynamics rather than to the latent states, we show that factors…
-
Preprint Teks lengkap
Quantifying Non-linearity in Topology Optimization with similarity based Visualization
Topology optimization (TO) can be viewed as seeking an optimal solution in the design space of a given TO problem. For weakly non-linear TO problems, e.g., compliance minimization, sensitivity-based methods typically converge well, whereas for strongly non-linear problems, e.g., maximum stress…
-
Preprint Teks lengkap
Transition fronts of monotone bistable reaction-diffusion systems around an obstacle
This paper is concerned with the interaction between a planar traveling front and a compact obstacle for monotone bistable reaction-diffusion systems in exterior domains. By constructing appropriate sub- and supersolutions, we first establish the existence, uniqueness and monotonicity of the entire…
-
Preprint Teks lengkap
STAR-Magic Mutation: Even More Efficient Analog Rotation Gates for Early Fault-Tolerant Quantum Computer
We introduce STAR-magic mutation, an efficient protocol for implementing logical rotation gates on early fault-tolerant quantum computers. This protocol judiciously combines two of the latest state preparation protocols: transversal multi-rotation protocol and magic state cultivation. It achieves a…
-
Preprint Teks lengkap
VLGOR: Visual-Language Knowledge Guided Offline Reinforcement Learning for Generalizable Agents
Combining Large Language Models (LLMs) with Reinforcement Learning (RL) enables agents to interpret language instructions more effectively for task execution. However, LLMs typically lack direct perception of the physical environment, which limits their understanding of environmental dynamics and…
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.