Jason Gross|Jason S. Gross

Massachusetts Institute of Technology - Cambridge / United States

Engineering & Technology / Computer Science

AD Scientific Index ID: 1357986

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Massachusetts Institute of Technology

Jason Gross|Jason S. Gross's MOST POPULAR ARTICLES

1-) One shot learning of simple visual concepts Proceedings of the annual meeting of the cognitive science society 33 (33), 2011

2-) Simple high-level code for cryptographic arithmetic: With proofs, without compromises ACM SIGOPS Operating Systems Review 54 (1), 23-30, 2020

3-) Fiat: Deductive synthesis of abstract data types in a proof assistant Acm Sigplan Notices 50 (1), 689-700, 2015

4-) The HoTT library: a formalization of homotopy type theory in Coq Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017

5-) Humanity's last exam arXiv preprint arXiv:2501.14249, 2025

ARTICLES

Add your articles