Draft-Thinking is proposed, a lightweight adaptation framework that learns a compact, self-contained working derivation that directly supports the final answer in a long chain-of-thought reasoning model.
Jie Cao, Tianwei Lin, Zhen-Xuan Fan et al.· arXiv.org· 3 citations· ⚡1
We examine how lyric representation shapes computational similarity using four 384-dimensional multilingual MiniLM representations of 7,891 K-pop songs by 1,456 artists from charts spanning 2000 to October 2023. Whole-song truncated embeddings provide the strongest standardized separation between neighbouring and rando...
Oktay Karaku\c{s}, Can Ey\"upo\u{g}lu· 0 citations
Crafting effective reward signals remains a central challenge in reinforcement learning (RL) for complex reasoning. Existing methods for automated reward optimization search with a fixed proposer which never learns from its costly trials. We present Dual-Evolving Reinforcement Learning (DERL), a dual-training framework...
Sitao Cheng, Tianle Li, Xuhan Huang et al.· 0 citations
Automatic prompt generation plays a crucial role in enabling general-purpose multi-agent systems to perform diverse tasks autonomously. Existing methods typically evaluate prompts based on their immediate task performance, overlooking the intrinsic qualities that determine their reliability. This outcome-centric view n...
Ke Chen, Xucheng Yu, Yufei Zhou et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
The proposed HyGA sheds light on a more effective, efficient, and stable attention mechanism that contains three types of gating strategies and introduces low-rank matrix decomposition and learnable attention sink to further enhance training efficiency and stability.
Zekun Zhou, Ruo-Bing Xie, Lan-Rui Wang et al.· 1 citation
Executing long-horizon tool invocations in real-world environments is severely challenged by dynamic user intent noise. Existing methods attempt robustness via implicit history scanning or text compression, yet predominantly assume perfect instructions in simplistic scenarios. Inevitably, under fluctuating contexts, ob...
Dingwei Zhu, Jiahan Li, Chengjun Pan et al.· 0 citations
DeepRubric is introduced, a data construction framework that first determines what an evidence-backed report should be evaluated on and then synthesizes aligned query--rubric pairs from those evaluation targets, achieving comparable performance to prior open state-of-the-art deep research models across three benchmarks...
Ming-Hang Zhu, Chu-Yang Wei, Jun Xu et al.· arXiv.org· 5 citations
Effective peer review requires adaptive investigation that responds to evidence emerging from each paper. Existing LLM-based reviewers largely organize the review process around predefined workflows, leaving limited scope for emerging evidence to reshape investigation. We propose ProReviewer, an evidence-driven review...
This work introduces MASDR-RAG (Metadata-Scoped Domain Retrieval for RAG) as a controlled testbed and finds hard partitioning to be unsafe, whereas training-free soft scoping is safe when the scope structure is real.
N. Subedi, A. Abdelaty, S. Sheshappanavar· 0 citations
Given the increased use of large language models (LLMs) for reading and seeking information and the varying needs and backgrounds of users, direct manipulation of text can be a valuable mechanism for end-user control. However, enabling direct manipulation requires that models generate text consistent with user-requeste...
Speech translation (ST) is increasingly adopted in user applications, yet its evaluation largely focuses on decontextualized testbeds and holistic quality, rather than end users' communication needs. We introduce Ouvia, an evaluation framework for measuring user-perceived usability of speech translation outputs in real...
Giuseppe Attanasio, Beatrice Savoldi, Daniel Chechelnitsky et al.· 0 citations
LLMs can plan by generating schedules directly as a Planner, or by translating a task into a formal specification for a solver as a Formalizer. Most real-world tasks are asynchronous, with non-uniform durations, concurrency, and execution-time changes, yet existing benchmarks hardly cover them. We unify asynchronous pl...
Jiayi Zhang, Jianing Yin, Ben Zhou et al.· 0 citations
Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizations appeared first on Microsoft Research.
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.