arXiv Computer Science @arxiv_cs@qoto.org

Towards Repository-Level Program Verification with Large Language Models https://arxiv.org/abs/2509.25197 #cs.SE #cs.AI #cs.PL

SOLD: SELFIES-based Objective-driven Latent Diffusion https://arxiv.org/abs/2509.25198 #cs.LG

CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging https://arxiv.org/abs/2509.25199 #cs.SE

When and How to Express Empathy in Human-Robot Interaction Scenarios https://arxiv.org/abs/2509.25200 #cs.RO

VLHSA: Vision-Language Hierarchical Semantic Alignment for Jigsaw Puzzle Solving with Eroded Gaps https://arxiv.org/abs/2509.25202 #cs.LG

From Past To Path: Masked History Learning for Next-Item Prediction in Generative Recommendation https://arxiv.org/abs/2509.23649 #cs.IR #cs.CL

KiVi: Kinesthetic-Visuospatial Integration for Dynamic and Safe Egocentric Legged Locomotion https://arxiv.org/abs/2509.23650 #cs.RO

HeLoM: Hierarchical Learning for Whole-Body Loco-Manipulation in Hexapod Robot https://arxiv.org/abs/2509.23651 #cs.RO

ReWatch-R1: Boosting Complex Video Reasoning in Large Vision-Language Models through Agentic Data Synthesis https://arxiv.org/abs/2509.23652 #cs.CV #cs.AI

Don't Settle Too Early: Self-Reflective Remasking for Diffusion Language Models https://arxiv.org/abs/2509.23653 #cs.CL

Community Analysis of Social Virtual Reality Based on Large-Scale Log Data of a Commercial Metaverse Platform https://arxiv.org/abs/2509.23654 #cs.HC #cs.SI

Focusing on What Matters: Object-Agent-centric Tokenization for Vision Language Action models https://arxiv.org/abs/2509.23655 #cs.RO #cs.AI #cs.CV #cs.LG

Certifiably Optimal State Estimation and Robot Calibration Using Trace-Constrained SDP https://arxiv.org/abs/2509.23656 #cs.RO

HetaRAG: Hybrid Deep Retrieval-Augmented Generation across Heterogeneous Data Stores https://arxiv.org/abs/2509.21336 #cs.IR #cs.CL

Cross-Modal Retrieval with Cauchy-Schwarz Divergence https://arxiv.org/abs/2509.21339 #cs.IR #cs.AI #cs.CV #cs.MM

Cycle is All You Need: More Is Different https://arxiv.org/abs/2509.21340 #q-bio.NC #cs.NE #cs.AI #cs.LG

From Embeddings to Equations: Genetic-Programming Surrogates for Interpretable Transformer Classification https://arxiv.org/abs/2509.21341 #cs.NE #cs.AI #cs.LG

SGNNBench: A Holistic Evaluation of Spiking Graph Neural Network on Large-scale Graph https://arxiv.org/abs/2509.21342 #cs.NE #cs.AI #cs.LG

An Approach to Checking Correctness for Agentic Systems https://arxiv.org/abs/2509.20364 #cs.AI #cs.ET

Interpreting Public Sentiment in Diplomacy Events: A Counterfactual Analysis Framework Using Large Language Models https://arxiv.org/abs/2509.20367 #cs.CL #cs.AI #cs.CY