Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2019Time-Space Lower Bounds for Two-Pass LearningGarg, Sumegha; Raz, Ran; Tal, Avishay
16-Apr-2018A Symbolic Decision Procedure for Symbolic Alternating Finite AutomataD'Antoni, Loris; Kincaid, Zachary; Wang, Fang
2019A Practical Algorithm for Structure EmbeddingMurphy, Charlie; Kincaid, Zachary
2017Simulating strategy and dexterity for puzzle gamesIsaksen, Aaron; Wallace, Drew; Finkelstein, Adam; Nealen, Andy
2020PZnet: Efficient 3D ConvNet Inference on Manycore CPUsPopovych, Sergiy; Buniatyan, Davit; Zlateski, Aleksandar; Li, Kai; Seung, H Sebastian
2017A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)Farzan, Azadeh; Kincaid, Zachary
2019Quantum Lightning Never Strikes the Same State TwiceZhandry, Mark
Jun-2020A Simple and Approximately Optimal Mechanism for an Additive BuyerBabaioff, Moshe; Immorlica, Nicole; Lucier, Brendan; Weinberg, S Matthew
2016Post-zeroizing Obfuscation: New Mathematical Tools, and the Case of Evasive CircuitsBadrinarayanan, Saikrishna; Miles, Eric; Sahai, Amit; Zhandry, Mark
2019Revisiting Post-quantum Fiat-ShamirLiu, Qipeng; Zhandry, Mark