Anand Natarajan, John Wright 0004. NEEXP is Contained in MIP. In David Zuckerman, editor, 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019. pages 510-518, IEEE Computer Society, 2019. [doi]
Abstract is missing.