Open Access Repository | Princeton University Library

Publication Date	Article Title	Author(s)
2020	Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis	Zhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; et al
2020	Towards Unique and Informative Captioning of Images	Wang, Zeyu; Feng, Berthy; Narasimhan, Karthik; Russakovsky, Olga
2020	SARS-CoV-2 receptor networks in diabetic and COVID-19–associated kidney disease	Menon, Rajasree; Otto, Edgar A; Sealfon, Rachel; Nair, Viji; Wong, Aaron K; et al
2020	Implicit Regularization in Nonconvex Statistical Estimation: Gradient Descent Converges Linearly for Phase Retrieval, Matrix Completion, and Blind Deconvolution	Ma, C; Wang, K; Chi, Y; Chen, Yuxin
2020	Observation of spontaneous ferromagnetism in a two-dimensional electron system	Hossain, MS; Ma, MK; Villegas Rosales, KA; Chung, YJ; Pfeiffer, LN; et al
2020	Precise Experimental Test of the Luttinger Theorem and Particle-Hole Symmetry for a Strongly Correlated Fermionic System	Hossain, MS; Mueed, MA; Ma, MK; Villegas Rosales, KA; Chung, YJ; et al
2020	Fluctuational electrodynamics in atomic and macroscopic systems: Van der Waals interactions and radiative heat transfer	Venkataram, PS; Hermann, J; Tkatchenko, A; Rodriguez, AW
2020	ACE inhibition and cardiometabolic risk factors, lung ACE2 and TMPRSS2 gene expression, and plasma ACE2 levels: a Mendelian randomization study	Gill, Dipender; Arvanitis, Marios; Carter, Paul; Hernández Cordero, Ana I; Jo, Brian; et al
2020	A Unified Framework of Surrogate Loss by Refactoring and Interpolation	Liu, Lanlan; Wang, Mingzhe; Deng, Jia
2020	A Differentiable Perceptual Audio Metric Learned from Just Noticeable Differences	Manocha, Pranay; Finkelstein, Adam; Zhang, Richard; Bryan, Nicholas J; Mysore, Gautham J; et al
2020	Automating Modular Verification of Secure Information Flow	Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
2020	Reconciling Modern Deep Learning with Traditional Optimization Analyses: The Intrinsic Learning Rate	Li, Zhiyuan; Lyu, Kaifeng; Arora, Sanjeev
2020	Amortized Finite Element Analysis for Fast PDE-Constrained Optimization	Xue, Tianju; Beatson, Alex; Adriaenssens, Sigrid; Adams, Ryan
2020	Over-parameterized Adversarial Training: An Analysis Overcoming the Curse of Dimensionality	Zhang, Yi; Plevrakis, Orestis; Du, Simon S; Li, Xingguo; Song, Zhao; et al
2020	REVISE: A Tool for Measuring and Mitigating Bias in Visual Datasets	Wang, Angelina; Narayanan, Arvind; Russakovsky, Olga
2020	The Coin Problem with Applications to Data Streams	Braverman, Mark; Garg, Sumegha; Woodruff, David P
2020	Gryff: Unifying Consensus and Shared Registers	Burke, Matthew; Cheng, Audrey; Lloyd, Wyatt
2020	Affine Determinant Programs: A Framework for Obfuscation and Witness Encryption	Bartusek, James; Ishai, Yuval; Jain, Aayush; Ma, Fermi; Sahai, Amit; et al
2020	SpanBERT: Improving Pre-training by Representing and Predicting Spans	Joshi, Mandar; Chen, Danqi; Liu, Yinhan; Weld, Daniel S; Zettlemoyer, Luke; et al
2020	PackIt: A Virtual Environment for Geometric Planning	Goyal, Ankit; Deng, Jia