Startup-i i shefit të Robinhood zgjeron modelin e inteligjencës artificiale Aristotle në verifikimin e softuerit dhe të dizajnit të çipave
Harmonic, startup-i i bashkëthemeluar nga drejtori i Robinhood, Vlad Tenev, e shtrin modelin e tij të arsyetimit matematik nga provat matematikore te kontrolli i kodit në C dhe i dizajneve të çipave në Verilog