≈
the.bay
.news
top
new
submit
📡
events
◐
auto
sign in
◉ the bay
all
hn
lobsters
feeds
code
filings
reddit
research
fda
crates
events
hot
new
top
discussed
151
▲
On the maximum interval index of a graph
arxiv.org
·
paper
·
0
·
3d
·
0 comments
152
▲
Complexity of finding color-avoiding connected components
arxiv.org
·
paper
·
0
·
3d
·
0 comments
153
▲
Submodular decompositions: a bounded-variation counterexample and an exact planar cut formula
arxiv.org
·
paper
·
0
·
3d
·
0 comments
154
▲
Quasimodularity of $q$-series associated to root lattices
arxiv.org
·
paper
·
0
·
3d
·
0 comments
155
▲
Countable Nondeterminism in Weighted Programming with an Application to Mechanized Foundations for Probabilistic Program Verification
arxiv.org
·
paper
·
0
·
3d
·
0 comments
156
▲
When to spend privacy: optimal allocation in private learning
arxiv.org
·
paper
·
0
·
3d
·
0 comments
157
▲
Mind The Gap (MTG-AD): Dataset and Fine-grained Evaluation for End-to-End Inline Audio Descriptions
arxiv.org
·
paper
·
0
·
3d
·
0 comments
158
▲
Accumulating Pruning Constraints: New Exact Polynomial-Space Algorithms for Max 2-SAT
arxiv.org
·
paper
·
0
·
3d
·
0 comments
159
▲
Efficient Learning of Mechanism Designs and Compositionality
arxiv.org
·
paper
·
0
·
3d
·
0 comments
160
▲
Human--AI Interactions as First-Class Data: A Formal Interaction Model and Runtime for Explainable AI Collaboration
arxiv.org
·
paper
·
0
·
3d
·
0 comments
161
▲
HEMO: Harness Self-Evolution for Multi-Objective Combinatorial Optimization
arxiv.org
·
paper
·
0
·
3d
·
0 comments
162
▲
Cheap Retrieval and Observation Credit Assignment from One Quantity: The Value of Information
arxiv.org
·
paper
·
0
·
3d
·
0 comments
163
▲
Hybrid AI Patterns: Thirteen Ways to Couple Language Models with Rules, and How to Choose Among Them
arxiv.org
·
paper
·
0
·
3d
·
0 comments
164
▲
Learning to Formulate: Agentic Hardware-Software Co-Design of AI Infrastructure through Progressive Optimization and Verification
arxiv.org
·
paper
·
0
·
3d
·
0 comments
165
▲
SeQUeNCe.DQC: Full-stack Simulation of Distributed Quantum Computing
arxiv.org
·
paper
·
0
·
3d
·
0 comments
166
▲
Sandman: Building and Operating Sandboxes for Agentic Reinforcement Learning on Shared Kubernetes
arxiv.org
·
paper
·
0
·
3d
·
0 comments
167
▲
Enabling Dynamic Resource Scaling in Quantum Circuit Simulations
arxiv.org
·
paper
·
0
·
3d
·
0 comments
168
▲
TRACEs: Fine-Grained Embedded Provenance for Distributed Scientific Workflows
arxiv.org
·
paper
·
0
·
3d
·
0 comments
169
▲
An Exact Parallel Dense Gauss-Seidel Algorithm with Trade-Offs between Parallel Execution Time and Preprocessing Time
arxiv.org
·
paper
·
0
·
3d
·
0 comments
170
▲
PhOSv1: Efficient Scaling of Model Sleeping on a Single Server for Autoscaling with GPU-Context Deduplication
arxiv.org
·
paper
·
0
·
3d
·
0 comments
171
▲
Effect of the surface on the energy levels in PbS and PbSe nanocrystals
arxiv.org
·
paper
·
0
·
3d
·
0 comments
172
▲
Collective sliding relaxor ferroelectricity across thousand-layer van der Waals superstructures
arxiv.org
·
paper
·
0
·
3d
·
0 comments
173
▲
Fate of Quantum Magic
arxiv.org
·
paper
·
0
·
3d
·
0 comments
174
▲
HERA: Assessing an Autonomous Agent for Quantum Device Measurement
arxiv.org
·
paper
·
0
·
3d
·
0 comments
175
▲
Berry curvature dipole circuit quantum electrodynamics
arxiv.org
·
paper
·
0
·
3d
·
0 comments
176
▲
Nodal magnon spin current at an antiferromagnet/altermagnet junction
arxiv.org
·
paper
·
0
·
3d
·
0 comments
177
▲
Dissipation dilution enhances SiV coupling to vdW diamond nanomechanics
arxiv.org
·
paper
·
0
·
3d
·
0 comments
178
▲
Graphene Islands as a Platform for Band-Structure Engineering
arxiv.org
·
paper
·
0
·
3d
·
0 comments
179
▲
Bregman projections and partition design for accelerating finite Markov chains
arxiv.org
·
paper
·
0
·
3d
·
0 comments
180
▲
Sharp potential and Brenier map $W_2$-stability for log-concave sources
arxiv.org
·
paper
·
0
·
3d
·
0 comments
more →