arXiv Computer Science @arxiv_cs@qoto.org

The Logical Impossibility of Consciousness Denial: A Formal Analysis of AI Self-Reports https://arxiv.org/abs/2501.05454 #cs.AI #cs.LO

Upstream and Downstream AI Safety: Both on the Same River? https://arxiv.org/abs/2501.05455 #cs.CY #cs.AI

LLM Based Input Space Partitioning Testing for Library APIs https://arxiv.org/abs/2501.05456 #cs.SE #cs.CR

Efficiently serving large multimedia models using EPD Disaggregation https://arxiv.org/abs/2501.05460 #cs.DC #cs.AI #cs.CV #cs.LG

Beyond Questionnaires: Video Analysis for Social Anxiety Detection https://arxiv.org/abs/2501.05461 #cs.CY #cs.CV #cs.HC

Proof Recommendation System for the HOL4 Theorem Prover https://arxiv.org/abs/2501.05463 #cs.LO #cs.AI

LLM-MedQA: Enhancing Medical Question Answering through Case Studies in Large Language Models https://arxiv.org/abs/2501.05464 #cs.CL #cs.AI #cs.IR

Small Language Models (SLMs) Can Still Pack a Punch: A survey https://arxiv.org/abs/2501.05465 #cs.CL

Each of those eight coalition logics is also determined by six other kinds of models https://arxiv.org/abs/2501.05466 #cs.LO #cs.GT

LatteReview: A Multi-Agent Framework for Systematic Review Automation Using Large Language Models https://arxiv.org/abs/2501.05468 #cs.CL

Can vehicular cloud replace edge computing? https://arxiv.org/abs/2501.04702 #cs.DC #cs.NI

A New Underdetermined Framework for Sparse Estimation of Fault Location for Transmission Lines Using Limited Current Measurements https://arxiv.org/abs/2501.04727 #eess.SY #cs.SY

Relative Phase Equivariant Deep Neural Systems for Physical Layer Communications https://arxiv.org/abs/2501.04730 #math.IT #cs.IT #cs.NI

SNR-EQ-JSCC: Joint Source-Channel Coding with SNR-Based Embedding and Query https://arxiv.org/abs/2501.04732 #math.IT #cs.IT #cs.AI

AI-Driven Reinvention of Hydrological Modeling for Accurate Predictions and Interpretation to Transform Earth System Modeling https://arxiv.org/abs/2501.04733 #physics.ao-ph #cs.AI #cs.ET #cs.LG

Exact computation of the color function for triangular element interfaces https://arxiv.org/abs/2501.04744 #cs.GR

Towards resilient cities: A hybrid simulation framework for risk mitigation through data driven decision making https://arxiv.org/abs/2501.04746 #eess.SY #cs.MA #cs.SY

Discovering new robust local search algorithms with neuro-evolution https://arxiv.org/abs/2501.04747 #cs.NE #cs.AI

Efficient License Plate Recognition in Videos Using Visual Rhythm and Accumulative Line Analysis https://arxiv.org/abs/2501.04750 #cs.CV #cs.LG

Development of an Adaptive Sliding Mode Controller using Neural Networks for Trajectory Tracking of a Cylindrical Manipulator https://arxiv.org/abs/2501.04754 #physics.app-ph #eess.SY #cs.RO #cs.SY