Cube vs. Cube Low Degree Test. - Amey Bhangale; Irit Dinur; Inbal Livni Navon (Electron. Colloquium Comput. Complex., 2016)

Exponentially Small Soundness for the Direct Product Z-test. - Irit Dinur; Inbal Livni Navon (Electron. Colloquium Comput. Complex., 2017)

On Hardness of Approximation of Parameterized Set Cover and Label Cover: Threshold Graphs from Error Correcting Codes. - Karthik C. S. 001; Inbal Livni Navon (SOSA, 2021)

List-Decoding with Double Samplers. - Irit Dinur; Prahladh Harsha; Tali Kaufman; Inbal Livni Navon; Amnon Ta-Shma (SIAM J. Comput., 2021)

Generative Models of Huge Objects. - Lunjia Hu; Inbal Livni Navon; Omer Reingold (CCC, 2023)

Bidding Strategies for Proportional Representation in Advertisement Campaigns. - Inbal Livni Navon; Charlotte Peale; Omer Reingold; Judy Hanwen Shen (FORC, 2023)

Omnipredictors for Constrained Optimization. - Lunjia Hu; Inbal Rachel Livni Navon; Omer Reingold; Chutong Yang (ICML, 2023)

Viderman's algorithm for quantum LDPC codes. - Anirudh Krishna; Inbal Livni Navon; Mary Wootters (SODA, 2024)

Fairness with respect to Stereotype Predictors: Impossibilities and Best Practices. - Inbal Rachel Livni Navon; Omer Reingold; Judy Hanwen Shen (Trans. Mach. Learn. Res., 2025)