arXiv:2608.14246v1 Announce Type: new Abstract: In today’s fast-paced environment, the ability to swiftly access, understand, and act on data is no longer…
Category: AI
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
arXiv:2608.14221v1 Announce Type: new Abstract: Autoformalization is commonly framed as translating natural-language mathematical statements into…
A Generalized Parallelogram Rule for Proportional Analogies on Riemannian Manifolds
arXiv:2608.14220v1 Announce Type: new Abstract: Analogies are quaternary relations of the form “a is to b as c is to d”, usually denoted a : b :: c : d.…
What happens when a kid’s robot best friend dies?
When Xander first met Moxie, she taught him that when he was anxious, he could calm down by exhaling through his lips so that he buzzed like a bee. They…
Attributing Preprocessing Invariance in Spectral Foundation Models
arXiv:2608.14227v1 Announce Type: new Abstract: Preprocessing invariance is an appealing goal for spectral foundation models: a frozen model should remain…
BiasTrace: Linking Reasoning Behaviours to Biased Outputs in LLMs
arXiv:2608.14161v1 Announce Type: new Abstract: LLMs exhibit social biases that can produce inaccurate and discriminatory inferences, posing risks in…
Can Language Models Understand mmWave Data? Benchmarking Large Language Models for mmWave Radar-Based Human Understanding
arXiv:2608.14179v1 Announce Type: new Abstract: Large language models (LLMs) have shown remarkable reasoning and generative capabilities, motivating their…
FreeBalance: Pre-Routing Online Moe Load Balancing via Residual Workload Prediction
arXiv:2608.14205v1 Announce Type: new Abstract: Load imbalance poses a major bottleneck to the efficiency of expert parallelism in distributed inference…
Removing Temporal Note Redundancy Improves Multimodal Reinforcement Learning for Medicine
arXiv:2608.14157v1 Announce Type: new Abstract: Mechanical ventilation is a critical life-support intervention, requiring dynamic adjustments to…
DeepSeek AI Releases DeepSeek Harness in Developer Preview: An MIT-Licensed Agent Harness Where Everything is a Plugin
DeepSeek Harness v0.1 is an MIT-licensed agent harness where every capability is a Cordis plugin. Four runtime modes, append-only session logs, and…