MEMORA employs a formation-consolidation-retrieval lifecycle with typed stores, improving long-term robot planning by up to 20.5 points in memory assessment and 16.6% in planning scores.

Zihao Yu, Xiu Yuan, Chongjie Zhang

Formalized Shor's algorithm in Lean, providing detailed resource estimates for RSA-2048 and P-256 quantum attacks, enabling machine-verified cryptanalysis.

Lei Zhang, Yusheng Zhao, Hongshun Yao et al.

TRACE assigns turn-level rewards via credit estimation using frozen reference models and TD changes, boosting long-horizon agent performance without extra critic training.

Leitian Tao, Baolin Peng, Wenlin Yao et al.

Trained small language models using progressive SFT and RL to enhance multi-agent retrieval relevance, achieving NDCG@10 of 0.918.

Gayathri V Kondapalli, Alexander Ng, Hirsh Pithadia et al.

HarnessBank achieves agent-harness self-evolution with semantic gene-bank search and gated verification, improving performance by 5.1%-15.4%.

Xiaotian Luo, Dizhan Xue, Fengxingyu Wang et al.

GMoT module explicitly extracts sparse motion cues, boosting micro-gesture video reasoning accuracy to 67.32% Top-1, surpassing baselines.

Taorui Wang, Wei Xia, Hui Ma et al.

MemCon models memory control as an MDP, using lightweight online UCB policy, achieving 15.2% success boost and 20% token savings without extra LLM calls.

Eric Hanchen Jiang, Zhi Zhang, Yuchen Wu et al.

UniPhys employs a unified physical grounding framework with a 40K dataset, achieving state-of-the-art articulation and physical property estimation.

Xian Li, Rong Wei, Lujie Yang et al.

UCB-HARE algorithm minimizes regret under strict fairness, matching theoretical lower bounds.

Dhruv Sarkar, Soumyadeep Dutta, Sayak Ray Chowdhury

Proposes a robust minimum-time trajectory planning framework incorporating parametric uncertainty and sparse activation, validated via MPC Monte Carlo simulations, reducing failure rates by over 20%.

Martino Gulisano, Matteo Masoni, Marco Gabiccini

FOLIO is a training-free focused semantic memory system combining short-term visual buffers with long-term entity-centric structured memory, boosting streaming video understanding.

Haoyang Fan, Dhruv Parikh, Anvitha Ramachandran et al.

GSM-Plus-BN evaluates LLMs on Bengali math reasoning with perturbations; GPT-OSS-20B achieves 96.08% accuracy on seed questions under Standard Prompting.

Bidyarthi Paul, Nahida Jannat Mayouree, Md. Asif Karim et al.

Using a conditional diffusion model to generate synthetic evolution of turbulent flames, preserving key features.

Amrit Tarur, Shivam Barwey

Introduced Self-Correcting Coupled Markov Jump Processes for concurrent image understanding and generation.

Minh-Quan Le, Armand Comas, Alexandros Lattas et al.

CoDiffGRN employs a co-evolutionary discrete diffusion model with BEELINE-KGC benchmark, significantly improving novel gene regulatory prediction.

Jiaze Song, Runhao Zhao, Minghao Xu et al.

Proposes a Hamiltonian-based method for near-optimal T-count synthesis of multi-qubit non-Clifford unitaries.

Wang Fang, Chris Heunen, Qisheng Wang

Proposes Hy-Embodied-VLM-1.0, integrating action-centric taxonomy, optimized data pipeline, and Mixture-of-Experts architecture, achieving state-of-the-art multi-task embodied agent performance.

Ziyi Wang, Xumin Yu, Yongming Rao et al.

ROBIN introduces a white-box method that identifies and removes bias subspaces from attention heads at inference, significantly reducing bias metrics with minimal performance loss.

Sigma Jahan

UniVR uses VR-GRPO for native visual reasoning, improving VR-X over Emu3.5 by 18.4% overall and 25.2% in long-term planning.

Zhongwei Ren, Yunchao Wei, Yao Zhao et al.

Proposes CoRe framework with structured rewards and auto-constructed dataset to improve fine-grained cross-image reasoning.

Lin Peng, Cong Wan, Zeyu Guo et al.