2020-08-22
16:9 aspect ratio
Gabriel Scherer committed on 22 Aug
2020-08-21
minor changes for webcam preview spacing
Gabriel Scherer committed on 21 Aug
2020-08-20
(include the pictures)
Gabriel Scherer committed on 20 Aug
more changes on the slides
Gabriel Scherer committed on 20 Aug
2020-08-16
proofreading
Gabriel Scherer committed on 16 Aug
all the slides (modulo tikz for trees)
Gabriel Scherer committed on 16 Aug
2020-08-13
progress on the slides
Gabriel Scherer committed on 13 Aug
fix code indentation
Gabriel Scherer committed on 13 Aug
2020-08-03
tex presentation
Francesco Mecca committed on 3 Aug
talk examples 1
Francesco Mecca committed on 3 Aug
2020-07-27
slides: include source and target programs in the same slide, highlight blackboxes
Gabriel Scherer committed on 27 Jul
2020-07-25
started presentation
Francesco Mecca committed on 25 Jul
examples for presentation
Francesco Mecca committed on 25 Jul
2020-07-24
commit the reviews of the ML Workshop 2020
Gabriel Scherer committed on 24 Jul
abstract: simplify the source-decomposition correctness statement
Gabriel Scherer committed on 24 Jul
2020-07-22
notes on the proposed outline
Gabriel Scherer committed on 22 Jul
outline
Francesco Mecca committed on 22 Jul
2020-07-18
typo found by a reviewer
Gabriel Scherer committed on 18 Jul
2020-05-17
record the submitted version of the abstract, for easier future reference
Gabriel Scherer committed on 17 May
proof-reading pass
Gabriel Scherer committed on 17 May
minor reformulation
Gabriel Scherer committed on 17 May
describe how we put all the pieces together
Gabriel Scherer committed on 17 May
we can get rid of \covers ! ...
Gabriel Scherer committed on 17 May
give a correctness statement for the decision tree of a matrix
Gabriel Scherer committed on 17 May
At a short header to the appendices
Gabriel Scherer committed on 17 May
define the notation a(v) that we need for the matrix compilation correctness statement
Gabriel Scherer committed on 17 May
use D instead of C as mathy variable for *decision* trees
Gabriel Scherer committed on 17 May
use \pi for target domains instead of D + minor guard rewording
Gabriel Scherer committed on 17 May
LaTeX for a Rule macro to refer to specific rules
Gabriel Scherer committed on 17 May
one TODO was done before
Gabriel Scherer committed on 17 May