|
| 1 | +% Model names |
| 2 | +\newcommand{\codernn}{Line-by-Line RNN\xspace} |
| 3 | +\newcommand{\tracernn}{Trace RNN\xspace} |
| 4 | +\newcommand{\hardipagnn}{Hard IP-RNN\xspace} |
| 5 | + |
| 6 | +\newcommand{\ipagnn}{IPA-GNN\xspace} |
| 7 | +\newcommand{\nocontrol}{NoControl\xspace} |
| 8 | +\newcommand{\noexecute}{NoExecute\xspace} |
| 9 | +\newcommand{\gat}{R-GAT\xspace} |
| 10 | +\newcommand{\ggnn}{GGNN\xspace} |
| 11 | + |
| 12 | +\newcommand{\ipagnnfullname} |
| 13 | + {Instruction Pointer Attention Graph Neural Network\xspace} |
| 14 | +\newcommand{\ggnnfullname}{Gated Graph Neural Network\xspace} |
| 15 | + |
| 16 | +% Math |
| 17 | +\newcommand{\Dtrain}{D_\text{train}} |
| 18 | +\newcommand{\Dtest}{D_\text{test}} |
| 19 | +\newcommand{\ctrain}{c_\text{train}} |
| 20 | +\newcommand{\ctest}{c_\text{test}} |
| 21 | +\newcommand{\Cmax}{C_{\max}} |
| 22 | +\DeclareMathOperator*{\trace}{trace} |
| 23 | + |
| 24 | +\DeclareMathOperator*{\Softmax}{softmax} |
| 25 | +\DeclareMathOperator*{\Hardmax}{hardmax} |
| 26 | +\DeclareMathOperator*{\argmax}{argmax} |
| 27 | +\newcommand{\init}{\text{init}} |
| 28 | +\newcommand{\fRNN}{f_\text{RNN}} |
| 29 | +\newcommand{\fembed}{\Embed} |
| 30 | +\newcommand{\incomingneighborsX}{N_\text{in}} |
| 31 | +\newcommand{\outgoingneighborsX}{N_\text{out}} |
| 32 | +\newcommand{\neighborsX}{N_\text{all}} |
| 33 | +\newcommand{\eqstart}{&=} % & or &= |
| 34 | +\newcommand{\separator}{} |
| 35 | + |
| 36 | +\newcommand{\startnode}{\text{start-node}} |
| 37 | +\newcommand{\othernodes}{\text{other-nodes}} |
| 38 | +\newcommand{\outgoingneighbors}{\text{outgoing-neighbors}} |
| 39 | +\newcommand{\incomingneighbors}{\text{incoming-neighbors}} |
| 40 | +\newcommand{\neighbor}{\text{neighbor}} |
| 41 | +\newcommand{\neighbors}{\text{neighbors}} |
| 42 | +\newcommand{\node}{\text{node}} |
| 43 | +\newcommand{\embed}{\text{embed}} |
| 44 | +\DeclareMathOperator*{\Embed}{Embed} |
| 45 | +\DeclareMathOperator*{\RNN}{RNN} |
| 46 | +\DeclareMathOperator*{\LSTM}{LSTM} |
| 47 | +\DeclareMathOperator*{\GRU}{GRU} |
| 48 | +\newcommand{\Oracle}{\text{Oracle}} |
| 49 | +\DeclareMathOperator*{\Dense}{Dense} |
| 50 | +\newcommand{\codeX}{x} |
| 51 | +\newcommand{\inputs}{\text{input}} |
| 52 | +\newcommand{\htilde}{\tilde{h}} |
| 53 | +\newcommand{\identity}{\text{identity}} |
| 54 | +\newcommand{\otherwise}{\text{o/w}} |
| 55 | + |
| 56 | +\newtheorem{theorem}{Theorem}[section] |
| 57 | +\newtheorem{corollary}{Corollary}[theorem] |
| 58 | +\newtheorem{lemma}[theorem]{Lemma} |
| 59 | + |
| 60 | +% Formatting |
| 61 | +% For program-representations.tex: |
| 62 | +\newcommand{\code}[1]{\texttt{#1}} |
| 63 | +% For grammar.tex: |
| 64 | +\newcommand{\OR}{\; | \;} |
| 65 | +\newcommand{\T}[1]{\texttt{#1}} |
| 66 | + |
| 67 | +% Colors |
| 68 | +% Color Palette #1955: |
| 69 | +\definecolor{burgundy-1955}{RGB}{155, 66, 58} |
| 70 | +\definecolor{orange-1955}{RGB}{220, 145, 60} |
| 71 | +\definecolor{lightorange-1955}{RGB}{248, 239, 220} |
| 72 | +\definecolor{lightblue-1955}{RGB}{84, 147, 175} |
| 73 | +\definecolor{blue-1955}{RGB}{26, 37, 76} |
| 74 | +% Custom colors: |
| 75 | +\definecolor{darkblue}{rgb}{0.0, 0.0, 0.55} |
| 76 | +\definecolor{lightblue}{rgb}{0.67, 0.84, 0.9} |
| 77 | +\definecolor{newtextcolor}{rgb}{.45, 0.45, 0.45} |
| 78 | +% Semantic colors: |
| 79 | +\newcommand{\ipagnncolor}[1]{{\color{blue}{#1}}} |
| 80 | +\newcommand{\ggnncolor}[1]{{\color{orange}{#1}}} |
| 81 | + |
| 82 | +% Drafting |
| 83 | +\newcommand{\todo}[1]{{\color{red}TODO: {#1}}} |
| 84 | +\newcommand{\nb}[2]{ |
| 85 | + \fbox{\bfseries\sffamily\scriptsize#1} |
| 86 | + {\sf\small$\blacktriangleright$\textit{#2}$\blacktriangleleft$} |
| 87 | +} |
| 88 | +\newcommand\HUGO[1]{\textcolor{lightblue}{\nb{Hugo}{#1}}} |
| 89 | +\newcommand\HUGOHIDDEN[1]{} |
| 90 | +\newcommand\cas[1]{\textcolor{Plum}{\nb{Charles}{#1}}} |
| 91 | +\newcommand\casHIDDEN[1]{} |
| 92 | +\newcommand\DANNY[1]{\textcolor{blue}{\nb{Danny}{#1}}} |
| 93 | +\newcommand\DANNYHIDDEN[1]{} |
| 94 | +\newcommand\DAVID[1]{\textcolor{darkblue}{\nb{David}{#1}}} |
| 95 | +\newcommand\DAVIDHIDDEN[1]{} |
| 96 | +\newcommand\DANIEL[1]{\textcolor{orange}{\nb{Daniel}{#1}}} |
| 97 | +\newcommand\DANIELHIDDEN[1]{} |
| 98 | +\newcommand{\new}[1]{{\color{newtextcolor}{#1}}} |
| 99 | +\newcommand{\old}[1]{} |
| 100 | + |
| 101 | +% Uncategorized |
| 102 | +\setitemize{leftmargin=*,topsep=0pt,itemsep=0pt} |
| 103 | + |
0 commit comments