RSS Anyway logo
HotLatestFollowingStatusAbout

arxiv.org

Sign in to follow
arxiv.org
RSSAtomJSON
  1. 1321.
    Generative AI in K-12 Classrooms: A Midyear Implementation Report
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  2. 1322.
    Keeping an Eye on AI: A Framework for Effective Human Oversight of AI Systems
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  3. 1323.
    Generative AI and Two-Tiered Online Mental Health Communities
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  4. 1324.
    Beyond Imperfect Alternatives with Rulemapping: A Neuro-Symbolic Case Study on Online Hate Speech
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  5. 1325.
    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
  6. 1326.
    Taxonomy and Consistency Analysis of Safety Benchmarks for AI Agents
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  7. 1327.
    The Recovery Mechanism: Technology, Education, and What Happens When the Pattern Breaks
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  8. 1328.
    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
  9. 1329.
    Homoglyph-based Adversarial Perturbation of Introductory Computer Science Theory Problems
    arxiv.org · /rss/cs.CY
    ▲ 0 · May 19
  10. 1330.
    Over-approximation of weakly-hard constraints for control systems verification (Extended)
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  11. 1331.
    TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  12. 1332.
    Positive Characteristic Sets for Relational Pattern Languages
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  13. 1333.
    The role of counting quantifiers in laminar set systems
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  14. 1334.
    Synthesis and Verification of Transformer Programs (Technical Report)
    arxiv.org · /rss/cs.FL
    ▲ 0 · May 19
  15. 1335.
    Modular constructive Lyndon interpolation for nondistributive logics
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  16. 1336.
    Inception Display Calculi
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  17. 1337.
    Combinatorics of Schur ultrafilters
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  18. 1338.
    Fractional Helly property and combinatorics of forking in NTP$_2$ theories
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  19. 1339.
    Sequence and Consequence
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  20. 1340.
    Undecidability of Finite Orbit Recognition in Polynomial Maps
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  21. 1341.
    Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  22. 1342.
    Uniform Borel Amenability
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  23. 1343.
    Hall's Harem Theorem with controlled sizes of cycles
    arxiv.org · /rss/math.LO
    ▲ 0 · May 19
  24. 1344.
    Noise2Params: Unification and Parameter Determination from Noise via a Probabilistic Event Camera Model
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19
  25. 1345.
    StrLoRA: Towards Streaming Continual Visual Instruction Tuning for MLLMs
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19
  26. 1346.
    How Many Visual Tokens Do Multimodal Language Models Need? Scaling Visual Token Pruning with F^3A
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19
  27. 1347.
    Fre-Res: Frequency-Residual Video Token Compression for Efficient Video MLLMs
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19
  28. 1348.
    GeoSym127K: Scalable Symbolically-verifiable Synthesis for Multimodal Geometric Reasoning
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19
  29. 1349.
    SwordBench: Evaluating Orthogonality of Steering Image Representations
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19
  30. 1350.
    Cross-Source Supervision for Bone Infection Segmentation in Dual-Modality PET-CT
    arxiv.org · /rss/cs.CV
    ▲ 0 · May 19