microsoft classifier machine-learning deep-learning cpp tensorflow sensor machine-learning-algorithms pytorch bonsai iot-device edge-computing edge-devices edge-machine-learning resource-constrained-ml microsoft-research emi-rnn protonn fastgrnn fastrnn

computer-vision optimization image-processing stabilization mesh-processing microsoft-research

computer-vision assistant imitation-learning nlp-machine-learning robotics-simulation microsoft-research

microsoft machine-learning graphs vocabulary corpus inference yml microsoft-machine-learning microsoft-research gnns graph-neural-networks dataset-parsing checkpoint-path corpus-extractor variable-naming ml-programming programming-ml

lean natural-numbers formal-mathematics peano theorem-prover microsoft-research lean-theorem-prover imperial-college-london gamified-learning

data-science dataset face-recognition dataset-manager microsoft-research