MILER, an end-to-end policy framework with zero-shot sim-to-real transfer of both perception and control, is presented and extensively evaluated on a diverse test track comprising numerous challenges.
Thomas Steinecker, Denis Trescher, Alexander Bienemann et al.· 0 citations
Autonomous underwater vehicles (AUVs) operating beyond reliable communications must recover from failures without human intervention. We investigate an architecture in which conventional deterministic layered control autonomy manages normal operations, while an invokable large language model (LLM) serves as a diagnosti...
Khalid Halba, Kylie Cooper, J. Bellingham· 0 citations
This research addresses two main aspects that are key to Machine Learning (ML) software: customizability and performance by implementing an open-source FL framework named FastFederatedLearning (FFL), implemented in C/C++, focusing on code performance.
Gianluca Mittone, Robert Birke, Marco Aldinucci· Euro-Par Workshops· 1 citation
Landmark mathematical formalizations have taken specialist teams years to complete. We present FormalFlow, a system that coordinates AI proving agents under human supervision to address statement drift and proof composition in long-horizon formalization. Drawing on software engineering principles and practices, it uses...
Si-Rui Lu, Ruixuan Deng, Yan-Qiao Zhu et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
A meta-analysis reveals a possible association between elevated TyG-BMI and higher risk of incident T2D in the general population and indicates that TyG-BMI may represent a potential marker associated with T2D risk stratification, although further studies are required to determine its clinical applicability.
Bo Dai, Hang Yu, Hao-Tian Qi et al.· Frontiers in Nutrition· 0 citations
Background/Objectives: Chagas disease is endemic to 21 Latin American countries and is a great public health problem. Current chemotherapy remains unsatisfactory; consequently, the need to search for new drugs persists. The aim of this work is to develop a machine learning computational model, which allows the identifi...
Juan A. Castillo‐Garit, Josué Pozo-Martínez, Esteban Rocha-Valderrama et al.· Pharmaceuticals· 0 citations
The administration of Security Clearance applications and restricted access ID Card issuance in airport environments currently faces significant operational obstacles due to conventional procedures relying on manual paper forms and physical archives. These real-world challenges include high risks of applicant data inac...
Muh. Batni Mukharroro, Mujib Ridwan· Jurnal Teknologi Dan Sistem...· 0 citations
The quantitative results show the effectiveness of zero-shot semantic LLM orchestration compared to other LLM controllers with heuristic rules and paves the way for traffic management to move beyond black-box numerical paradigms and into explainable decision-making.
Gaurav Soni, Ganesh Khekare, Yash Kumar et al.· Frontiers in Artificial Inte...· 0 citations
This study aims to improve student learning outcomes in identifying the main idea of a paragraph using flashcards in the fourth-grade class at SDN Manjalling, Gowa Regency. The study employs a quantitative approach using a pre-experimental method and a one-group pretest-posttest design. The research subjects consiste...
Andi Syamsul Alam, Muhammad Dahlan, Hanana Muliana et al.· Jurnal Pendidikan Bahasa dan...· 0 citations
Attention-Deficit/Hyperactivity Disorder (ADHD) is the most common neurodevelopmental and psychological disorder in children. Reducing aggression and enhancing self-esteem are key approaches to helping these children adapt to their challenges. One potentially effective therapeutic intervention in this context is Eye Mo...
Nasrin Alizadeh, Mohammad Behnammoghadam, Zohre Karimi et al.· BMC Psychiatry· 0 citations
T2DM-related diffusion abnormalities persisted after free-water correction, whereas no skeleton-wide between-group difference in the estimated FW was detected, and integrating FWE with complementary spatial analyses of WM and cortical GM may help characterize diffusion-derived brain phenotypes and their clinical correl...
Dan-Dan Lin, Jian-Ping Zheng, Tai-Peng Zeng et al.· Frontiers in Medicine· 0 citations
Background/Objectives: Investigation of whether visual and AI-based assessments of the severity of COVID-19 pneumonia using an established semi-quantitative chest CT scoring system (Pan score) correlate with laboratory parameters as well as pulmonary function, and of the score’s diagnostic value in predicting the patie...
Anna J. Höink, Simon T. Scherfeld, Anna Movlilishvili et al.· Diagnostics· 0 citations
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Microsoft Research Blog· microsoft.comOct 29, 2026
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring 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.