Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Emilio Jesús Gallego Arias

MINES ParisTech, PSL Research University, France

jsCoq: Towards Hybrid Theorem Proving Interfaces

Jan 25, 2017
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot

* EPTCS 239, 2017, pp. 15-27 
* In Proceedings UITP 2016, arXiv:1701.06745 

  Access Paper or Ask Questions

Dual Query: Practical Private Query Release for High Dimensional Data

Nov 19, 2015
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu

* Journal of Privacy and Confidentiality 7(2) 53--77 (2017) 

  Access Paper or Ask Questions