Arias, Emilio Jesus Gallego

2 publications

NeurIPSW 2024 NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving Laetitia Teodorescu, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge

ICML 2014 Dual Query: Practical Private Query Release for High Dimensional Data Marco Gaboardi, Emilio Jesus Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu