≈ the.bay.news
  1. 91

    Geometric Proofs of Riemann-Type Theta Relations

  2. 92

    Shifted convolutions of divisor functions

  3. 93

    Lattice moments and quantum designs

  4. 94

    Petersson-rigid lattices of signature (2,1) and their harmonic weak Maass forms

  5. 95

    Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs

  6. 96

    A self-normalized law of the iterated logarithm for Rademacher random multiplicative functions

  7. 97

    Average pairwise Hamming distance of a subset in a hypercube

  8. 98

    Multiple representations in difference sets under polynomial density constraints

  9. 99

    Real-rooted Ehrhart $h^*$-polynomials of crown posets and wheel and whirl matroids

  10. 100

    Directed Cut-Query Complexity of Finding a King

  11. 101

    Supersaturation: Cliques and Positive Square Energy

  12. 102

    On the Quantum Chromatic Gap II

  13. 103

    An Adian-Rabin theorem for quantum automorphism groups of graphs

  14. 104

    The Number of Tropical Order Types and Coherent Matching Fields

  15. 105

    crush: Extensible Proof Automation for Lean

  16. 106

    Only Accepted Tokens Count: An Energy Accounting of Speculative Decoding Under Latency Targets

  17. 107

    True 3D Holography: A Communication Service of Tomorrow and Its Requirements for a New Converged Cloud and Network Architecture on the Path to 6G

  18. 108

    Can We Rely on Language Models to Orchestrate Services across the Edge-Cloud Continuum?

  19. 109

    SPECTRUM: A Strategic Framework and Technical Blueprint for European Exascale Research Data and Compute Infrastructure

  20. 110

    AI in the EGI e-infrastructure -- Past experiences and future strategies

  21. 111

    Nearly-Optimal Time-Sample Trade-off in Consensus Dynamics

  22. 112

    Collaborative AI agents for autonomous experimental research with solid-state quantum spins

  23. 113

    When to Assist and What to Suggest: Joint Gating and Memory-Grounded Hint Generation in One Compact Decoder

  24. 114

    Probing Spatial State Representations in Visual Foundation Models

  25. 115

    From extreme weather to agricultural consequences with agentic AI

  26. 116

    Luggage re-identification: A study of strategies towards a real-world application

  27. 117

    Understanding and Mitigating Role Spoofing in LLMs

  28. 118

    Deep Learning Based Behavioral Drift Modeling for Continuous Biometric Authentication

  29. 119

    RecHash: Segmented Hash-Entangled Chains for Stateful Sequential Authentication

  30. 120

    Efficient Scalable Oversight via Rewinding

more →