arXiv Computer Science @arxiv_cs@qoto.org

On sliced Cram\'er metrics https://arxiv.org/abs/2508.02678 #math.NA #cs.NA

LLM Agent-Based Simulation of Student Activities and Mental Health Using Smartphone Sensing Data https://arxiv.org/abs/2508.02679 #cs.HC

AnnoSense: A Framework for Physiological Emotion Data Collection in Everyday Settings for AI https://arxiv.org/abs/2508.02680 #cs.HC #cs.AI

Accelerating Conjugate Gradient Solvers for Homogenization Problems with Unitary Neural Operators https://arxiv.org/abs/2508.02681 #math.NA #cs.LG #cs.NA

Transient thermal analysis of a bi-layered composites with the dual-reciprocity inclusion-based boundary element method https://arxiv.org/abs/2508.02683 #math.NA #cs.NA

ReVise: A Human-AI Interface for Incremental Algorithmic Recourse https://arxiv.org/abs/2508.00002 #cs.HC

Building Bigraphs of the real world https://arxiv.org/abs/2508.00003 #cs.LO

Reasoning under uncertainty in the game of Cops and Robbers https://arxiv.org/abs/2508.00004 #math.LO #cs.LO

Modelling Program Spaces in Program Synthesis with Constraints https://arxiv.org/abs/2508.00005 #cs.PL #cs.AI

Agent Network Protocol Technical White Paper https://arxiv.org/abs/2508.00007 #cs.NI #cs.AI

Enabling Immersive XR Collaborations over FTTR Networks (Invited) https://arxiv.org/abs/2508.00009 #cs.NI #cs.AI

Non-Terrestrial Network Models Using Stochastic Geometry: Planar or Spherical? https://arxiv.org/abs/2508.00010 #cs.NI

AoI-Aware Resource Allocation with Deep Reinforcement Learning for HAPS-V2X Networks https://arxiv.org/abs/2508.00011 #eess.SY #cs.NI #cs.AI #cs.LG #cs.MA #cs.SY

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms https://arxiv.org/abs/2508.00013 #cs.PL

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games https://arxiv.org/abs/2508.00014 #cs.LO

A Compute-Matched Re-Evaluation of TroVE on MATH https://arxiv.org/abs/2507.22069 #cs.PL #cs.AI

RedCoder: Automated Multi-Turn Red Teaming for Code LLMs https://arxiv.org/abs/2507.22063 #cs.SE #cs.AI

Machine Learning Experiences: A story of learning AI for use in enterprise software testing that can be used by anyone https://arxiv.org/abs/2507.22064 #cs.SE #cs.AI

Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models https://arxiv.org/abs/2507.22065 #cs.SE #cs.AI #cs.CR #cs.PL

CodableLLM: Automating Decompiled and Source Code Mapping for LLM Dataset Generation https://arxiv.org/abs/2507.22066 #cs.SE #cs.CR