! " # $ % & ' ( ) # * % + ( * * % , ( - & . % , / 0 ( 1 $ % & 2 ( ) & , * % " 3 , 4 0 % * 4 ( " 5
!"#$%"&!!'(!)%(!*+!(+!%,(!-."!/%(!*+!(+
$&0!"!.12!%3&4-5%,$)&25657%3&(!5%6(81$7
,$.8%3&8!"8%&.+"%.$.8%3&8&5#%&.+"%9!&.127
6/%$)"#5$%$"7&)%,95(8%9&&.7"%(745$%34
$&0!"!.12$%6/(!$"%$)"#5$%:&#1!.$%$58
$-&5"$%&4-5"%:1(5$%3)!$%-)68/%.3&4-5$!
8/(7%!-54%3&.8$%;857%.("0&:%9"/!%6!(%8"4
,9&&28)/%,(6&7/%,"2&7/%3&(!*+!(+$%$)"#5$
3&(!*+!(+$!%,$1(7"%3(1:%0(7"(+!%-"!0.&&+
3&&#"%!"-7&%(!5!%(-$-<&7!87!5%,9!(&"%,'<&7!(:"
.3&1!(/
9)&-$%/!$%,&/)&2565%,95(7%&7/%(!*+!(+
-54% 3&486$% 6!.87% .$)"#5$% "8% &#1!.$
,&5-)/%3-)$%:1(5$%8/(7%95(7%(!*+!(+
8/(1%9$15%/!$%-%9)&-1%!-&)+6"%,*!.7%-%3!&1!
6!&0!"!.12"%:1(5$%"8%$)&25657%&!0&$$%6-4!
(+*$%6&7%"8%"$.5$%-4!!7%(7#1!%6!&1!.&#
.")24-5"%"8%6&5-)/$%$-4!!7!%&"/&($
?!"#$!%&!'%()*&+"'+,)-)%&!)
6&'#5% .;!.&#7% 7(% 9&&.4% &"% $&$% -&56
;!.&#7%2(!2)!-$%6/%!84%&"8%3&2.(!2)!-$5
2(!2)!-$% 6/% !848% $"/% 30% ,3"!1!)
,6/:%6!(5"%.(3&"!45%3&(!5%3$%,$)&25657
&64-&%/"%,$)"#5$%8/(%-&)+67%&6"#6$8%-4
.$)"#5$%$7!8#%$51%-4
?.$+/0,*&1$/+(%&!'%()&!2$(/&!)%
,!6&8!%,&0!"!.12$!%&4-5$%;!.&#$%6!7&8#%""07
6!(#/%6!-&#&%9&7"%$)"#5$%9&7%&-!#&&$%$"!4+$
9$%$"/1%$"!4+%&+!6&8"%6!/50!-%.9!&.127
3!-&)"% :1(5$% ,!6&87)% $/(!$$% 9!-4!5
62&8%,)24-57%3&&.!/&:!5%3&2)&!(+%,($/(!$$
.-!4!%,$.&157%6&+!"#$%$1(4$$
/2765%9!&.127%$)"#5$%"8%#"'!5$%7!"&8$
&8./%"8%6-7!15$%6&5!/".&7$%6!/(.7%30
9)"#8%,6!7($%2(!2)!-$%6!-!747%30!%"0*$
.!:%$761%;85$7%0'!&
?."0&"'$$3&!)%&-&!"#$!&3$)%%
3&()!#%"'/%$$!70%$5(7%3&-!5&"%3&4&'5%!.#./
/!$%(6!&%4-!&8%$(!5%.&6()!&%-*!57%3&"&7!5
6/:%3&1&(45%!."8%3&-&5"6$!%,(6!&%7!2%$(!5
.3/6$7%36!/%!1&(4&%3$"8%3$&-&5"6%30!%-
?!'%()!&!4+2)&5+%$%6)&$%+"
6&.1!6% 64'!5% $)"#5"% 6!(&8&% 3&58(."
6-!46%3&"7)5%3$%$5!&*78%,6&6.8-85#
6!(8+/%34%,3&4-5$%6/(!$7%&.8%(/!6!%$/(!$
"85"%,6!#56$%&.!!&1%(+*55%-#/7%6!#56$"
.&"5(!+%/"%;!.&#%!/%6!.&!'5!%6!..!#5
3&"!1&%9!&.127%6!(#/%6!2"!)+7%3&2.-!2*
(/!6"%!/)%$/(!$%6-!46%6/()"%3&-!5&"%7"8"
.3/$%62"!)+7%3$&-!5&"7%(,*!.
(+*% &677% -5""% 3&.&&.!458% 3&2.-!2*"
$)"#5$%$4&'5%,*!.7%.6!.6!5%6!0"5%6!4'!5
.6!.&&2'$%6!0"5
?17)!&+3$)+%&!'%()*&5+)++'-)&5"!
&:1(5%$8!"8%6"4+$"%3&:(157%$61:%$)"#5$
"4%3&.5!55$%3&:1(5%11%;!65)%3&&'(/%3&(!5
&4-5"%&'(/%3&(!5%:1(5%:(;!.&#$%-(85%&-&
&(!/%(!*+!(+%6!8/(7%,$.1!6%6*-.$!%78#5$
3&(!5%:1(5%;6!-&+"%&56%("-%"!$&.7!%9!(&"
6!8/(7%($(7#7%$&0!"!.12!%4-5)%7"2!5"%&'(/
;-"+-9&!"%"#(%("-%"!$&.7!%"2%&"2%(!*+!(+
6!8/(7% ,$&0!"!.12% &(!5"% &'(/$% :1(5$!
.2"+!-%9!(&%("-%"!$&.7!%*)!%$5"8%(!*+!(+
,6!&!5"68$!%3&*(!)%4&'5%3&:1(5$5%-#/%"1
3&*.1%,6!&"/!2(&!%6!/'($%,9!&4%&5&%,6!/.-*
6(7#%34%,6!85%2)&!(+%-%$50!-"%.3&2)&!(+!
&4-57%(!#7"%9!1&6%6!-&5"6%--!45$%,
Google
&4!')5%64%761%:1(5%"1%)&+5%,*!.7%.78#5$
:3&(6/$%$"/%.2.(2.&/%(6/%"&4+5!
cse.prog.ac.il
mutav.org.il
moretech.technion.ac.il
()&47% 3&5&&)65% $)"#57% ;85$$% &-!5&"
6!8/(7%,$/(!$%&-7!4%6!&!5"68$"%:1(57
,3&(!5%5,000%"45%!5"68$%:1(57%.(!5&6%7)4&
3&"!4%3&(!5%62&")7%&:1(5%-&)+6%/"&5%/!$!
."98%(#5"%6&.1!6%3!8&&7!%3&54$%(7#5
?!'%()*&-+74/&-+#'()&-$%+48&$9+"
$.$!%,(6!&7%7#(%$)"#57%()#5$%3!(2)+*
(!5% (!*+!(+% "8% !6-!74% :6!/50!-% $51
"8%$6-!74%%,$1(4$%6!2&87!%$)&(25!1&*+7
7!8)6!% $&':&"/!:&!7% 8!5&8% "4% &")% ("-
(.&&(%(!*+!(+%"8%$-7457%3&()#5$%,$/(!$7
"8%!6-!74!%,3&&"/!2(&!%6!5"!47%$-&5"%"4
3&85685%9$78%6!2&8%6&&.)$%"4%!''&!)%("-
.3&"&0(%3&-&5"6"%3&..!#5%3&-&5"6
$)"#5$%"8%3&8-#$%6!"&4+$%&-)!55%-#/
("-%6)*!4%!78%/8!.%,6(!8)67%4-5%/!$
.$)"#5$%"8%9!(#/$%"81("$%,&(7'-34(7
#!+&2%/&$%3&4-5$%6/(!$%"8%6!(25$%6#/
!.&"4!%,7#($%(!7&'$%7()7%6&4-5%6!.&&(!/
.3&8!4% !.#./% $5% (&7*$"% -!5""% 3&.4-5$
64-"%3$&"4%3&1.#51!%,3&1.#5%30%3$%3&.4-5
.!1(-%&+%"4%"(4.""%;!.#"
&.7%,3&2.-!2*%,3&6&54%"!"1"%"!1&%-4&$%"$)
,$&:&!!"2%&+!'%,3&.!6&4%&/(!)%,4-5%&(#!8%,(4!.
;(-7%3$%,/8)%6!&.&-5%&47!)!%2.(2.&/%&8"!0
.(3&.4-5%3.&/%""1
?5+)7$+)&5+#'()!&5"!
.3&#"'!5%3&5!8&&%"8%6!/50!-%245%/"%8&
9!.4(!% (!+&8% ,3!-&)"% :1(5$% -% "3#-(8)"
(!*+!(+% $-54% !8/(78% ,&2565$% ;!.&#$
3&(845%(6!&%;857%$!!&$%-%(-$-<&7!87!5
&(!5% 9&7% 6!&47% 9!7&""% $"&4&% 68(% $.8
3&4&&*5%(.(!%(!*+!(+%"8%!&()#5%.$)&2565$
"8% 3&()#5$% ,$)&2!7!(7% 6!&!(#6% 9!.167
6!7(% !5(6% 9:#% (!*+!(+!% 9!(&"% (!*+!(+
6!5!(6!%,78#5$%&4-5%6/(!$%6!#6+6$"
$&0!"!.12$%6/(!$7%*)!%(!*+!(+"%!&$%6!5!-
.7"2!5%6/(!$7%"2%(!*+!(+!%<&7!(:"%(!*+!(+"!
"8% $-&5"6% ,&(-/% "4&% "8% ()#5% 6-!74
3&1(4% 7!"&8% "4% ,(-$-<&7!87!5% (!*+!(+
"4%4&+8$"%$"&#65%(71%,$)&2565%6/(!$7
.(+*$%&677%$/(!$$
$"&7!5% !6!/8% ,"6!.&!'5!% &!'&5"% 2)&!(+
2"#!$!%$7(%$#"'$"%$1:%,&)*7"*:%(!*+!(+
"8%$&()#5%6!7)47%.(+*%&67%200-"%!7&#($"
.$&5&17%6!(07$%6.&#7%$.75%$.!8%&(!-%(!*+!(+
5$:4&%"#7+*&1$/+(!&*2)&,524*&,!)%&9"
?10&%0
"1%.6!#.%$(!5$%-545%&1%7!2%!.&/%;!.&#$%7'5
(+8"%!#&27$%$"855$%6!8/("%3&-54!5$
$"855$%8/(8%$!!)5%&./!%,$(!5$%-545%6/
-#!&57%$8)%.6/:%6!84"%!#&"'&%;!.&#$%(8!
-%/7'$!%$&&846$%.&0!"!.12$%;!.&#$%"8%!7'5
,6/:%6!.8"%3&*.5%-%;15%3&"7!*8%3&.!8/($
(7#5%$&&"4$%.$:%<5/57%3&+6685%!.#./!
3&"!45%3&(!5%;!.&#$%61(45"%$/&7$%3&54$
!(81!$%3)"#8%,$&0!"!.12!%3&4-5%,$)&25657
.$8&(+$%"&0"%3&7()65%$"/%3&(!5%"7/%.!."'/
&2!)/%(!*#5%-%3&(!57%&!+'$%(!*#5$8%916&&
(!+&8"!%$(!5$%-545%3!-&)"%/)!!-%/&7&%-
:$#27$%!54%/&75%&"1"1$%(785$%30%.;!.&#$
6!5-)65$%6!&846$%&-7!4%"8%$7*$%6!&.1!6
6!&.1!6%('!/$!%;!.&#$%&-(85"%!.4'$%.$/(!$"
9&5/5%&./%.;(-"%/'.%7!()78%$!!)5%&./!%,$7*$
3&-54!5% 9&5:5!% ,(+68&% $(!5$% -5458
(06/$%,6!#&"8$%""07%$/(!$7%(!#7"%3&5&/65
.4!')578%&+!&$!
,.$+/0,*&-$,%$'8!&*$#%&3$:+/*&,!'%()*
!9&!)&.%:6&+#*()&%:6&-$#*(&#-$+&7+
?#)$"
34+$%.9!&.12"%3&5(!6%!./%9/1%308%(5!/%$:
.3&(-0&5$%9&7%8)765$%9!:&/$%608$7
?!'%()!&%7&!/$9(&$!)&,5$0+6%
.9!&.12$%"8%9!:#$5%(:0.%$)"#5$%"8%9!:#$
3"!47%(6!&7%6!7!2$%6!)"#5$%6#/%6!&$""
4-&$%6/%(&84$"%.3&4-5$!%$&0!"!.12$%6/(!$7
$-&5"$% &4-57!% $/(!$$% 6!.5!/7% &8!./$
&0!"!.12$%;!.&#$%3!-&)7%"&7!5%3(!0%6!&$"!
".9!&.127%$/(!$$!%"/(8&7%&4-5$!
.!6580$"%;(-7%!.#./8%&"%$/(.
! " #$ % & ' ( ) % * & - & # " + * ',- & - + " ., % & # / " * 0 ) & # * / ) ! 1 - &
†
µ
&
% ( * " & # 2 2 * 3 & 4 " $ ! )- * & - " 2 * % * / 5 '- & #6 + * - % & -. % 3)-
47...,9,10,11,12,13,14,15,16,17,18 2,3,4,5,6,7,1