RSS Anyway logo
HotLatestFollowingStatusAbout

arxiv.org

Sign in to follow
arxiv.org
RSSAtomJSON
  1. 1171.
    When Actions Disappear: Adversarial Action Removal in Self-Play Reinforcement Learning
    arxiv.org · /rss/cs.LG
    ▲ 0 · May 19
  2. 1172.
    A Structural Threshold in Decision Capacity Governs Collapse in Self-Play Reinforcement Learning
    arxiv.org · /rss/cs.LG
    ▲ 0 · May 19
  3. 1173.
    Investigating Action Encodings in Recurrent Neural Networks in Reinforcement Learning
    arxiv.org · /rss/cs.LG
    ▲ 0 · May 19
  4. 1174.
    Forecasting Medium-Horizon Alzheimer's Disease Progression: Residual Gap-Aware Transformers for 24-Month CDR-SB Change from ADNI Clinical and Biomarker Histories
    arxiv.org · /rss/cs.LG
    ▲ 0 · May 19
  5. 1175.
    AdaGraph: A Graph-Native Clustering Algorithm That Overcomes the Curse of Dimensionality and Enables Scientific Discovery
    arxiv.org · /rss/cs.LG
    ▲ 0 · May 19
  6. 1176.
    Language Game: Talking to Non-Human Systems
    arxiv.org · /rss/cs.LG
    ▲ 0 · May 19
  7. 1177.
    AI Slop or AI-enhancement? Student perceptions of AI-generated media for an English for Academic Purposes course
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  8. 1178.
    Generative AI in K-12 Classrooms: A Midyear Implementation Report
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  9. 1179.
    Keeping an Eye on AI: A Framework for Effective Human Oversight of AI Systems
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  10. 1180.
    Generative AI and Two-Tiered Online Mental Health Communities
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  11. 1181.
    Beyond Imperfect Alternatives with Rulemapping: A Neuro-Symbolic Case Study on Online Hate Speech
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  12. 1182.
    From Reactive to Proactive: A Multi-Regulatory Empirical Analysis of 480 AI Incidents and a Data-Driven Governance Compliance Framework
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  13. 1183.
    Taxonomy and Consistency Analysis of Safety Benchmarks for AI Agents
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  14. 1184.
    The Recovery Mechanism: Technology, Education, and What Happens When the Pattern Breaks
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  15. 1185.
    Measuring Changes in Instructor Class Design and Student Learning After the Release of Large Language Models (LLMs)
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  16. 1186.
    Homoglyph-based Adversarial Perturbation of Introductory Computer Science Theory Problems
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  17. 1187.
    Over-approximation of weakly-hard constraints for control systems verification (Extended)
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  18. 1188.
    TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  19. 1189.
    Positive Characteristic Sets for Relational Pattern Languages
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  20. 1190.
    The role of counting quantifiers in laminar set systems
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  21. 1191.
    Synthesis and Verification of Transformer Programs (Technical Report)
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  22. 1192.
    Modular constructive Lyndon interpolation for nondistributive logics
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  23. 1193.
    Inception Display Calculi
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  24. 1194.
    Combinatorics of Schur ultrafilters
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  25. 1195.
    Fractional Helly property and combinatorics of forking in NTP$_2$ theories
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  26. 1196.
    Sequence and Consequence
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  27. 1197.
    Undecidability of Finite Orbit Recognition in Polynomial Maps
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  28. 1198.
    Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  29. 1199.
    Uniform Borel Amenability
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  30. 1200.
    Hall's Harem Theorem with controlled sizes of cycles
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19