arXiv:2609.05335v1 Announce Type: cross Abstract: Public vulnerability databases collect rich information about known software flaws, including their…
Category: AI
RoboSPA: Can VLA Models Go Beyond Simple Scenes and Short-Horizon Tasks?
arXiv:2609.05324v1 Announce Type: cross Abstract: Vision-Language-Action (VLA) models have shown promising progress in language-conditioned robotic…
PRICE: A Systematic Study of LLM Adaptation Choices for Bitcoin Price Forecasting
arXiv:2609.05235v1 Announce Type: cross Abstract: Cryptocurrency markets exhibit extreme volatility and non-stationary dynamics that challenge…
Ask Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive Optimization
arXiv:2609.05258v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used to formulate optimization models from…
Phase Transition Frequency as a Training Time Predictor of Test Accuracy in ResNets
arXiv:2609.05194v1 Announce Type: cross Abstract: The number of discrete class-separability jumps observed during ResNet finetuning is examined…
A Verifier-Guided Explainable Reasoning Framework with Gold-Anchored QLoRA, Task-Aware Mixture-of-Experts, and Group-Relative RLVR
arXiv:2609.05221v1 Announce Type: cross Abstract: Large language models (LLMs) show strong reasoning ability, but their explanations can remain…
CONTINUITY: Security-Context Contracts for Composable LLM Agent Controls
arXiv:2609.05269v1 Announce Type: cross Abstract: LLM agent systems increasingly combine provenance tracking, authorization, policy enforcement, protocol…
A Human-in-the-Loop Framework for AI-Assisted Scoring in Large-Scale Writing Assessment
arXiv:2609.05143v1 Announce Type: cross Abstract: The integration of artificial intelligence (AI), particularly large language models (LLMs), into…
A Schema Bounded Language Model for Refining Robot Policies Without Destabilizing Local Learning
arXiv:2609.05133v1 Announce Type: cross Abstract: This paper addresses navigation by composite heterogeneous robots in a decentralized system when policy…
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics
arXiv:2609.05157v1 Announce Type: cross Abstract: Formalizing mathematics in a proof assistant, where a machine checks every definition, statement and…