Microsoft Research
Microsoft Research stellt PDD Kit zur Verifizierung von Web-Apps aus Agentenhand vor
Microsoft Research hat PDD Kit vorgestellt, ein Toolkit zur formalen Verifizierung von Code, den Coding-Agenten schreiben. Es wandelt die Absicht eines Entwicklers in…
Microsoft baut synthetische Unternehmen, um Copilot ohne Kundendaten zu testen
Microsoft Research hat die Industry Evaluation Data Generation Platform beschrieben, ein System, das vollständige synthetische Unternehmensumgebungen erzeugt, um…
Microsoft Research startet Flint-interactive für KI-gebaute interaktive Diagramme
Microsoft Research hat Flint-interactive vorgestellt, eine Sprache, mit der KI-Agenten Datenvisualisierungen erzeugen, die Nutzerinnen und Nutzer per Klicken, Filtern…
Top-MeldungMicrosoft-Forscher lösen 31 Jahre alte KLS-Vermutung mit menschlich gesteuerter KI
Microsoft Research gibt an, die Vermutung von Kannan, Lovász und Simonovits (KLS) gelöst zu haben, ein seit 31 Jahren offenes Problem der hochdimensionalen Geometrie.…
Harvard-Studentin korrigiert mit maschinellem Lernen subsaisonale Wettervorhersagen
Hannah Guan, Studentin im vierten Jahr mit Schwerpunkt Angewandte Mathematik an der Harvard SEAS, hat an einem Ansatz des maschinellen Lernens mitgewirkt, der Fehler…
Microsofts StudentSim simuliert einzelne Lernende, um KI-Tutoren zu trainieren
Microsoft Research hat StudentSim vorgestellt, ein System, das personalisierte Simulatoren einzelner Lernender erstellt, damit sich KI-Tutoren bewerten und trainieren…
Microsoft-Research-Praktikant baut ML-System, das Weltraumwetter-Risiken für Stromnetze vorhersagt
Ein Praktikant bei Microsoft Research hat ein System für maschinelles Lernen entwickelt, das das Weltraumwetter-Risiko für 66.935 Umspannwerke in den zusammenhängenden…
Microsoft Research stellt Quine vor: KI-System für die Komplexität der Biologie
Microsoft Research hat Quine vorgestellt, ein Forschungsprojekt, das ein multimodales Weltmodell der Biologie mit einer interaktiven Arbeitsumgebung (Harness) verbindet.…