公开(公告)号：US20230300053A1

公开(公告)日：2023-09-21

申请号：US18017654

申请日：2021-04-30

Applicant: Microsoft Technology Licensing, LLC

Inventor： Ryan Andrew BECKETT ,  Karthick JAYARAMAN ,  Neha Milind RAJE ,  Jitendra PADHYE ,  Christopher Scott JOHNSTON ,  Steven Jeffrey BENALOH ,  Nikolaj BJORNER ,  Andrey Aleksandrovic RYBALCHENKO ,  Nuno CERQUEIRA AFONSO ,  Nuno CLAUDINO PEREIRA LOPES ,  Sharad AGARWAL ,  Hang Kwong LEE ,  Aniruddha PARKHI ,  Maik RIECHERT

IPC: H04L43/50 ,  H04L43/06 ,  H04L41/14

CPC classification number: H04L43/50 ,  H04L43/06 ,  H04L41/145

Abstract: A network verification system uses general-purpose programming language to create network verification tests. A test orchestrator builds a model of the network only using data from the network verification test. An optimization testing manager creates symbolic packets for verification tests using assertions based on a packet library embedded into the testing manager and the general-purpose programming language.

公开(公告)号：US20240419967A1

公开(公告)日：2024-12-19

申请号：US18814438

申请日：2024-08-23

Applicant: Microsoft Technology Licensing, LLC

Inventor： Ryota TOMIOKA ,  Matthew Alastair JOHNSON ,  Daniel Stefan TARLOW ,  Samuel Alexander WEBSTER ,  Dimitrios VYTINIOTIS ,  Alexander Lloyd GAUNT ,  Maik RIECHERT

IPC: G06N3/08 ,  G06N3/04 ,  G06N3/063

Abstract: A neural network training apparatus is described which has a network of worker nodes each having a memory storing a subgraph of a neural network to be trained. The apparatus has a control node connected to the network of worker nodes. The control node is configured to send training data instances into the network to trigger parallelized message passing operations which implement a training algorithm which trains the neural network. At least some of the message passing operations asynchronously update parameters of individual subgraphs of the neural network at the individual worker nodes.

公开(公告)号：US20220222531A1

公开(公告)日：2022-07-14

申请号：US17706586

申请日：2022-03-28

Applicant: Microsoft Technology Licensing, LLC

Inventor： Ryota TOMIOKA ,  Matthew Alastair JOHNSON ,  Daniel Stefan TARLOW ,  Samuel Alexander WEBSTER ,  Dimitrios VYTINIOTIS ,  Alexander Lloyd GAUNT ,  Maik RIECHERT

IPC: G06N3/08 ,  G06N3/04 ,  G06N3/063

Abstract: A neural network training apparatus is described which has a network of worker nodes each having a memory storing a subgraph of a neural network to be trained. The apparatus has a control node connected to the network of worker nodes. The control node is configured to send training data instances into the network to trigger parallelized message passing operations which implement a training algorithm which trains the neural network. At least some of the message passing operations asynchronously update parameters of individual subgraphs of the neural network at the individual worker nodes.

公开(公告)号：US20180336458A1

公开(公告)日：2018-11-22

申请号：US15599058

申请日：2017-05-18

Applicant: Microsoft Technology Licensing, LLC

Inventor： Ryota TOMIOKA ,  Matthew Alastair JOHNSON ,  Daniel Stefan TARLOW ,  Samuel Alexander WEBSTER ,  Dimitrios VYTINIOTIS ,  Alexander Lloyd GAUNT ,  Maik RIECHERT

IPC: G06N3/08 ,  G06N3/04

CPC classification number: G06N3/063

Abstract: A neural network training apparatus is described which has a network of worker nodes each having a memory storing a subgraph of a neural network to be trained. The apparatus has a control node connected to the network of worker nodes. The control node is configured to send training data instances into the network to trigger parallelized message passing operations which implement a training algorithm which trains the neural network. At least some of the message passing operations asynchronously update parameters of individual subgraphs of the neural network at the individual worker nodes.