Jason Gross
Identifiers
No identifiers captured yet.
Papers (3)
- Humanity's Last Exam cs.LG · 2025 · author #373
- Design of an Autonomous Precision Pollination Robot cs.RO · 2018 · author #17
- The HoTT Library: A formalization of homotopy type theory in Coq cs.LO · 2016 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Aakaash Nattanmai 1 shared papers
- Aaron Kirtland 1 shared papers
- Aarush Sinha 1 shared papers
- Abdallah Galal 1 shared papers
- Abdelkader Dendane 1 shared papers
- Abdurrahim Yilmaz 1 shared papers
- Abhijeet Saha 1 shared papers
- Abhishek Shukla 1 shared papers
- Abram Jackson 1 shared papers
- Adam Bouyamourn 1 shared papers
- Adam Jones 1 shared papers
- Adam Khoja 1 shared papers
- Adam Wecker 1 shared papers
- Adam Zweiger 1 shared papers
- Adithya Shenoy 1 shared papers
- Aditya Malusare 1 shared papers
- Adrian Cosma 1 shared papers
- Advaith Avadhanam 1 shared papers
- Ahmad Sakor 1 shared papers
- Ahmed Elkhanany 1 shared papers