Formula-Driven Supervised Learning (FDSL) enables vision pre-training without real images, but existing methods cast pre-training as classification on discretized labels, discarding continuity in the generative process. We propose Formula-Driven Supervised Metric Learning (FDSML), which derives relational supervision f...
Hina Otake, Shinei Arakawa, Keitaro Tanaka et al.· 0 citations
Many applications of multi-objective reinforcement learning (MORL) require policies that balance conflicting objectives while satisfying safety constraints. We study safe MORL with zero constraint violation throughout learning, covering both cumulative and stepwise constraints. A key challenge is to explore sufficientl...
Chenxi Li, Yao Shu, Siyang Gao et al.· 0 citations
Generalized Category Discovery (GCD) aims to perform old-category recognition and novel-category discovery in the same unlabeled set. Early methods address both objectives through clustering and evaluate the exchangeable predicted indices with global Hungarian (GH) matching. Recent methods adopt trainable parametric he...
Zitai Wang, Qianqian Xu, Cong Hua et al.· 0 citations
Frontier language models such as GPT 6 Astra have contributed to research mathematics, demonstrating substantial reasoning capabilities. Yet serious reasoning failures persist even in tasks governed by explicit rules. We demonstrate this in retrograde chess which is a playground for pure reasoning, where solvers recons...
Tidor-Vlad Pricope· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
This work introduces Learning to Bound (L2B), a data-driven framework that amortizes bound computation cost by training a neural predictor and targets two key properties required for effective search bounds: admissibility and progressive tightening as evidence accumulates.
Akshay Vyas, Hai-Liang Dong, Shivvrat Arya et al.· 0 citations
It is proved that under exclusive specialization every update that raises pass@1 strictly lowers the success of some prompt; a strictly positive price on prompts (Stiemke duality) is the exact condition, and being merely the best strategy on a prompt is provably not enough.
This work proposes profiling-guided layer-wise RoPE allocation, assigning high/low coverage under a fixed budget using early coverage-benefit profiles, and normalized-depth mapping transfers profiles within model families, enabling small-model measurements to guide larger-model allocations before pretraining.
Experience can help embodied agents turn high-level plans into grounded actions, but transferring it across tasks remains challenging: previously effective strategies may be inapplicable to the current state or fail to produce their intended outcomes. We present EmbodiExp, a framework for constructing transferable expe...
Zhifeng Gu, Ying Chen, Rui Jiang et al.· 0 citations
Dangerous-capability evaluations often test an AI agent from prepared states at ordered milestones. A clean sheet records no successes. What it certifies about a campaign of $B$ attempts depends on what a failed attempt erases. We model the task as a chain of $k$ milestones divided into checkpoint segments and ask how...
Rohith Yanambaka Venkata, Don McBride, Tiago Sequeira et al.· 0 citations
LatentDiff is proposed, a novel unified latent generative framework for TSP, which reformulates knowledge graph completion as latent space graph generation and introduces an observation-anchored latent graph diffusion model.
Jia-Qi Wang, Yi-Sen Gao, Hua-Yang Shi et al.· 0 citations
This work introduces Critic-Guided Synthetic Experience (CGSE) generation in world models, using the world model as a local transition generator, leveraging critic guidance to choose actions inside that model to generate synthetic experiences offline.
Jorge Penim de Freitas, Christos Ziakas, Alessandra Russo· 0 citations
Tactus is presented, a textile-integrated sensing glove that co-optimizes three design pillars: a thin, conformal 3D-knit form factor, strategically placed capacitive tactile sensors at manipulation-relevant regions informed by empirical contact studies, and IMU-fused pose tracking that maintains accuracy through the h...
Li Guan, Rachael Granberry, Sahar A. Aseeri et al.· 0 citations
Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosity, judgment, agility—and an understanding of the rules. The post Learn the rules: The hacker mindset appeared first on Microsoft Research.
Learn how Google Antigravity and our Cheminformatics Skills accelerate drug discovery workflows, search compounds, and propose novel rigidified macrocycles.
MIT News · Artificial Intelligence· news.mit.eduOct 28, 2026
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
MIT News · Artificial Intelligence· news.mit.eduOct 27, 2026
Prabha Jha used her experience with MIT Open Learning’s program for senior executives to develop AI solutions for her employer, Verizon, and to write a book.