Sergei Mironov sergei-mironov

Optimization frameworks for machine learning

Low-level features (e.g. optimized for something special)

https://www.tensorflow.org/lite
- Small version of TF, targets mobile devices on Android and IoT
https://www.tensorflow.org/performance/xla/
- XLA (Accelerated Linear Algebra) is a domain-specific compiler for linear algebra that optimizes TensorFlow computations.

Responsibilities

Research on the related technologies of formal modeling and formal verification in operating systems, embedded hardware and software, and model-driven development tools
Responsible for exploration of cutting-edge technologies and cutting-edge solutions in the field of formal verification
Responsible for formal verification project operation and implementation
Participate in the formalization of relevant project practices in the field of operating systems, complete the research, design, coding, debugging, etc.

Skills required

Что нужно знать

Народ активно работает над задачей генерации картинки по тексту
Особенно активно работают китайские исследователи
Но картинки пока получаются маленькие - 256x256 пикселей, хотя вроде бы красиые.
И на узкие темы. Например - только о птичках.
Чтобы сеть овладела вопросом, нужно примерно 10 тыс. картинок с описаниями.
Для работы над приложением задачи нужно:

Собрать и разметить датасет. Наверное, это самое основное и важное. Пример данных см. по ссылки ниже, в "датасеты". Размечальщиков картинок можно нанять, см. MTurk.

https://drive.google.com/open?id=1hUeAJXcAXwz82RXA5VtO5ZoH8cVQhrOK

Был митинг с NoahArc, узнали, что на след. неделе будет техническое интервью всей команды, к которому нужно подготовить слайды по общекомандной работе и каждому - персональные слайды. В общекомандной части нужно раскрыть один проект подробнее. Дата тех.интервью определится во вторник. Напишу Диме и Алексею, попрошу их в виде исключения постараться прийти.

Презентация будет длиться ~1 час, ожидается, что слушать будут 7 человек. Они могут выбрать проект и попросить раскрыть подробности.

Нужно сделать каждому:

Слайд или маркдаун док со списком персональных проектов с прошлых работы Слайд или маркдаун док с историей образования

	#!/bin/sh

	MOSH_SSH_NAME=$1
	MOSH_RELAY=$2
	PORT_A=34730
	PORT_B=34731

	MOSH_KEY=$(ssh "$MOSH_SSH_NAME" "mosh-nat-server.sh \"$MOSH_RELAY\" \"$PORT_A\"")
	MOSH_KEY="$MOSH_KEY" mosh-client "$MOSH_RELAY" "$PORT_B"

	# This file defines Nix environment for building Ergo and Akylos GPU miner. To
	# enter the environmant:
	# 1. Install [Nix](https://nixos.org/nix)
	# package manager (or use NixOS Linux distro which is base on it).
	# 2. Save this file to current directory and run `nix-shell`. Nix will
	# download all the dependencies and open the shell where commands like
	# `sbt` or `nvcc` just work.
	#
	# Note on syntax: The first line `{ pkgs ? import <nixpkgs> {} } :` refera to
	# an instance of [nixpkgs](https://github.com/NixOS/nixpkgs) repository.

	# For the list of available plugins see
	# nixpkgs/pkgs/misc/vim-plugins/generated.nix
	#
	# Example of working config
	# nixcfg/src/pkgs/myvim.nix
	#
	{ pkgs ? import <nixpkgs> {} } :
	with pkgs;

	vim_configurable.customize {

	#include <random>
	#include <iomanip>
	#include <array>
	#include <exception>

	#include <tvm/tvm.h>
	#include <tvm/operation.h>
	#include <tvm/tensor.h>
	#include <tvm/build_module.h>
	#include <topi/broadcast.h>