Translate
Automated AI newsroom

AI News

High-signal AI developments, independently scored, summarized and organized for fast reading.

Live intelligence

Editor-selected AI developments

330 updates
AllModelsProductsIndustryResearchTutorialOpinion
Research Editor selected

Formally verifying agent-written full-stack web apps with PDD Kit

Microsoft Research introduces PDD Kit, a toolkit that enables proof-driven development for AI-generated code. It helps developers turn intent into formal specifications and automatically proves that agent-written code meets those specs for every input, falling back to tests where proofs cannot reach. The approach was demonstrated on a full-stack Rust web app, formally verifying login logic and uncovering existing bugs without line-by-line code review.

Why it matters: This article presents a concrete, novel methodology for scaling code review and ensuring correctness of AI-generated code, which is a critical challenge as agents produce increasingly large codebases.

Microsoft Research6h agoScore 89
formal methodsAI code generationsoftware verification
Research Editor selected

Google AI Research Releases Agile Deliberation Framework for Gray-Area Image Classifiers

Google Research has introduced Agile Deliberation, a human-in-the-loop framework for building image classifiers around subjective concepts like 'healthy food' or 'clickbait'. The framework uses Gemini 2.5 Pro and Flash to help users discover concept boundaries through iterative deliberation on borderline images, without fine-tuning. In live sessions, it improved F1 by 10.5 points on average over zero-shot Gemini 2.5 Flash, with code available on GitHub.

Why it matters: This is a concrete, recent AI research release with a novel framework, open-source code, and measurable performance gains, offering practical value for developers and researchers.

MarkTechPost16h agoScore 85
Google Researchimage classificationhuman-in-the-loop
Research Editor selected

Tessera scales equivariant transformer molecular dynamics to 30.7M atoms

Researchers present Tessera, a distributed runtime for equivariant message-passing Transformer molecular dynamics that fixes workload shapes between neighbor-list rebuilds. It uses space-filling-curve atom sorting, conservative neighbor skins, CUDA Graph replay, fused kernels, and overlapped All-to-All communication. On 512 GPUs it sustains 30.7M atoms at 89.7% weak-scaling efficiency, and a 10.24M-atom salt solution shows 0.42 μeV/atom/ps NVE energy drift over 10 ps while matching a serial reference. A 10.06M-atom norovirus capsid sustains 100 ps of NVT at about 8 ps/day on 256 A100 GPUs.

Why it matters: It demonstrates a concrete distributed-systems advance that pushes AI-driven ab initio molecular dynamics to tens-of-millions-of-atom scale with measured efficiency and stability.

arxiv17h agoScore 84
Molecular dynamicsEquivariant neural networksDistributed computing
Research Editor selected

RLVR-Optimized Icon Generation for Alexa+

This paper describes a production pipeline for generating animated icons for Alexa+ devices from text descriptions, replacing a slow hand-drawn process. The authors focus on improving the critical image generation stage using reinforcement learning from verifiable rewards (RLVR) with objective verifiers that enforce design guidelines. The fine-tuned model increased the pass rate from 15.7% to 58.7% under an independent VLM judge, and both the model and verifier are deployed in production.

Why it matters: This is a concrete, recent deployment of RLVR in a production system, showing significant quality improvements and practical value for AI-driven content generation.

arxiv17h agoScore 82
reinforcement learningimage generationproduction deployment
Research Editor selected

ModalSearcher: Autonomous Cross-Modal Search Agent for Multimodal QA

ModalSearcher introduces autonomous cross-modal search, enabling agents to dynamically choose between reasoning, text search, image search, and reverse-image search. The authors propose a pipeline to build interleaved multimodal knowledge graphs and train an 8B agent with SFT and RL, achieving 16.2-point average accuracy gains over Qwen3-VL-8B on five benchmarks.

Why it matters: This paper presents a concrete method and benchmark for improving multimodal agents' ability to handle knowledge-intensive tasks, with measurable gains.

arxiv17h agoScore 82
multimodal large language modelsautonomous searchknowledge-intensive QA
Research Editor selected

SafeStart: Mitigating the Overlooked Safety Cost of Active Expert Reduction in MoE LLM Serving

This paper reveals that expert-reduction methods for MoE LLM serving, which speed up inference by running fewer experts per token, can weaken refusal of harmful requests. The authors introduce SafeStart, which runs all experts for the prompt and first eight generated tokens, then reduces experts afterward, preserving most speedup while restoring safety. In vLLM on an RTX A6000, SafeStart keeps at least 85% of the offline decode speedup at batch sizes 8 and 32 and reduces harmful compliance increases to near baseline levels across three models.

Why it matters: Provides a concrete, recent finding that expert reduction in MoE serving has safety costs and offers a practical mitigation, valuable for AI serving systems and safety research.

arxiv17h agoScore 85
Mixture-of-ExpertsLLM safetyInference optimization
Research Editor selected

CARM: Conformal Adaptive Risk Masking for Reliable Scientific Super-Resolution

CARM is a statistical framework that adapts conformal risk control to temporal distribution shifts in Earth-observation super-resolution. It aggregates threshold proposals from experts with different update rates using an asymmetric surrogate loss, enabling rapid adaptation while maintaining stability. Theoretical guarantees show time-averaged mask-conditioned risk converges to at most alpha at O(1/T) rate. On South China Sea chlorophyll-a data, CARM reduces empirical violation rate from 43.49% to 9.38% at alpha=0.10, with consistent improvements on ERA5 and OSTIA datasets.

Why it matters: Provides a novel, theoretically grounded method for reliable AI in scientific super-resolution, with strong empirical results across multiple datasets.

arxiv17h agoScore 82
Conformal risk controlAdaptive thresholdingScientific super-resolution
Research Editor selected

Reasoning-Aware Cross-Modal Association Unlearning in Multimodal Large Reasoning Models

This paper introduces cross-modal association unlearning for multimodal large reasoning models (MLRMs), targeting the removal of specific visual-to-knowledge associations rather than whole samples or concepts. The proposed VKCR method localizes edits to a compact parameter subspace and counterfactually rebinds reasoning behavior to suppress target leakage while preserving non-sensitive knowledge. New benchmarks CLEAR-R and MLLMU-R evaluate leakage, hallucination, and utility, showing VKCR reduces image-conditioned target leakage across tasks.

Why it matters: Addresses a novel privacy problem in multimodal reasoning models with a parameter-efficient method and benchmarks, offering practical value for AI safety and unlearning research.

arxiv17h agoScore 82
machine unlearningmultimodal large reasoning modelscross-modal association
Research Editor selected

AssameseLM-E2B: An Open-Weight Assamese Language Model for Efficient Consumer-Grade Deployment

This paper introduces AssameseLM-E2B, a 2-billion-parameter language model adapted for the low-resource Assamese language, built on the Gemma-4 architecture with an expanded byte-level BPE vocabulary. It uses parameter-efficient continual pre-training with Hybrid LoRA and supervised fine-tuning to improve instruction-following and RAG capabilities. The model achieves a BPB of 0.7488 on FLORES-200, a RAG score of 96.7%, and 100% refusal accuracy on adversarial unanswerable prompts, while highlighting limitations in general-purpose baselines.

Why it matters: Provides a concrete, recent advancement in low-resource language modeling with practical deployment implications, offering valuable insights for developers and researchers.

arxiv17h agoScore 85
Low-resource language modelsParameter-efficient fine-tuningRetrieval-augmented generation
Research Editor selected

GEdit: Geometry-Aware Regularization for Knowledge Editing in LLMs

GEdit is a new framework for knowledge editing in large language models that uses a Low-Rank Plus Diagonal (LR+D) factor model to capture the geometric structure of Transformer FFN hidden representations. It introduces low-rank regularization to protect core knowledge and adaptive regularization that adjusts strength based on edit difficulty. Experiments on GPT2-XL, GPT-J, and LLaMA-3-8B with up to 10,000 continuous updates show consistent improvements over baselines in both editing success and knowledge preservation.

Why it matters: This paper presents a novel, technically grounded approach to a practical LLM challenge (knowledge editing) with strong empirical results across multiple models and large-scale settings.

arxiv17h agoScore 82
knowledge editinglarge language modelsregularization
Research Editor selected

CoSafe: Cooperative Runtime Safety Assurance for Mixed-Traffic Autonomous Driving

CoSafe is a modular, ADS-agnostic framework that extends runtime safety assurance from ego-centric takeover to scene-level cooperative intervention in mixed-traffic autonomous driving. It uses V2X communication and roadside units to monitor hazards and jointly mitigate risks involving multiple vehicles. Integrated with seven state-of-the-art ADSes, CoSafe improves driving scores by 70.03% on average, reduces safety violations by 87.80%, and achieves an F3 score of 0.930 for unsafe AV identification while meeting real-time constraints.

Why it matters: This paper presents a concrete, recent advancement in autonomous driving safety with measurable improvements and a novel cooperative approach, offering practical value for researchers and developers.

arxiv17h agoScore 82
autonomous driving safetycooperative systemsruntime monitoring
Research Editor selected

Rubric Curriculum RL Improves RLVR in Non-Verifiable Domains

The paper introduces Rubric Curriculum RL (RcRL), a method that exploits the generation-verification gap in domains without ground-truth rewards by combining pairwise preferences over rollouts with a curriculum over rubric criteria. This creates a more discriminative and non-stationary training signal, avoiding the plateau seen in baselines. RcRL achieves a 70.5% human win rate on creative writing and improves HealthBench performance by 14.6% (full set) and 25.4% (consensus subset), outperforming all training baselines.

Why it matters: This presents a concrete, novel training method with measurable gains in open-ended domains, addressing a key limitation of RLVR.

arxiv17h agoScore 82
Reinforcement LearningReward ModelingLLM Alignment
Research Editor selected

HarnessFlow: MCTS-Guided Harness Optimization for LLM Agents

HarnessFlow is a framework that automatically optimizes the harness (the code governing tool interaction) for LLM agents under a limited evaluation budget. It uses a Monte Carlo Tree Search policy to balance exploration and exploitation, with a coding agent refining harnesses based on execution feedback. Across six benchmarks, it achieves an average score of 69.48%, outperforming initial harnesses by 10.89 points and Meta-Harness by 3.95 points, while reducing per-task execution costs.

Why it matters: This introduces a novel, practical method for automating harness design, showing significant performance gains and cost efficiency, which is valuable for AI agent development.

arxiv17h agoScore 85
LLM agentsharness optimizationMCTS
Research Editor selected

MPRBench: A New Benchmark for Multimodal Personalized Reasoning in Vision-Language Models

MPRBench is a comprehensive benchmark introduced to evaluate multimodal personalized reasoning in large language models, covering 12 sub-tasks and supporting interpretable error analysis. Experiments show current MLLMs struggle with recognizing personalized concepts and are sensitive to irrelevant personal information. The benchmark aims to drive further research in this area.

Why it matters: Provides a concrete, recent benchmark with findings that highlight current limitations in MLLM personalized reasoning, valuable for researchers and developers.

arxiv17h agoScore 80
Multimodal Large Language ModelsPersonalized ReasoningBenchmarking
Research Editor selected

Pseudo-Riemannian Attention Network (PRAT) for Heterophilic Graphs

This paper identifies a geometric mismatch in Graph Neural Networks on heterophilic graphs, where positive-definite metrics fail to capture dissimilarity. The authors introduce the Graph Signature Index to measure this mismatch and propose PRAT, a network using a learnable pseudo-Riemannian metric. PRAT outperforms or matches strong baselines on fifteen node-classification benchmarks, with ablations confirming the importance of the indefinite metric.

Why it matters: This work offers a novel theoretical insight and a practical method that improves GNN performance on heterophilic graphs, a challenging and active research area.

arxiv17h agoScore 82
Graph Neural NetworksGeometric Deep LearningHeterophily
Research Editor selected

NextGAN: Towards Simple and Scalable GAN Training for Image and Video Generation

NEXTGAN trains a scalar critic by regressing its input gradient onto displacements between independently paired reference and generated features at interpolated locations in frozen representation spaces. The authors state that, for a fixed generator, this regression is equivalent to an adversarial objective with a gradient-energy penalty, while the generator keeps the standard potential-based GAN update. The method adapts pre-trained image and video generators with up to 14B parameters without auxiliary losses, online teacher scores, or trajectories. On ImageNet 256x256 it reports one-step FIDs of 2.87 with pixel-space JiT-B and 1.54 with latent-space DiT-XL/1 (1.36 for its adversarial form), and a single Wan2.1-1.3B model supports one-, two- and four-step text-to-video sampling, scoring 83.13 VBench total at two steps.

Why it matters: It offers a simpler adversarial training recipe for few-step image and video generation, backed by one-step FID and VBench comparisons, which is useful for researchers and practitioners building fast generative models.

arxiv17h agoScore 80
NextGANgenerative adversarial networkstext-to-video generation
Research Editor selected

DyPSI: Joint Generation of Physics Fields and Sensor Trajectories for Dynamic Sensing

DyPSI is a new framework for dynamic physics sensing that jointly generates future spatiotemporal fields and sensor trajectories from historical observations. It uses continuous Sensor Position Fields, a shared Functional Tucker representation, and a joint diffusion model to produce temporally coherent sensing plans. Experiments on turbulent flow, sea-surface temperature, and car aerodynamics show improved error reduction over static and frame-wise placement strategies.

Why it matters: This paper introduces a novel method that addresses a key limitation in sensor placement by jointly optimizing field reconstruction and trajectory generation, with demonstrated gains on multiple real-world datasets.

arxiv17h agoScore 82
sensor placementdiffusion modelsphysics-informed AI
Research Editor selected

A.S.E 2.0: How Repository Context Impacts the Security of LLM-Generated Code

This paper introduces CASE-Bench, a benchmark of 145 repository-level tasks derived from real CVEs across 51 projects, to study how repository context affects the security of LLM-generated code. Experiments with 13 context construction methodshol and six LLMs show that functionality-oriented context improves functional pass rates more than secure pass rates, and that withholding safeguards or inserting insecure examples significantly increases exploitable code. Coding agents observe relevant safeguards in only 27-36% of trajectories, highlighting the need for security-aware context construction.

Why it matters: Provides concrete, recent evidence and a new benchmark on a critical but understudied aspect of LLM code security, offering actionable insights for developers and researchers.

arxiv17h agoScore 85
LLM code securityrepository contextsecure code generation