1 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.AI2025★ 1 cited
Aristotle: IMO-level Automated Theorem Proving
Tudor Achim, Alex Best, Alberto Bietti +20
We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical O…
cs.CL2022★ 1 cited
Neural Generation Meets Real People: Building a Social, Informative Open-Domain Dialogue Agent
Ethan A. Chi, Ashwin Paranjape, Abigail See +18
We present Chirpy Cardinal, an open-domain social chatbot. Aiming to be both informative and conversational, our bot chats with users in an authentic, emotionally intelligent way.…
cs.CV2020
MoCo-CXR: MoCo Pretraining Improves Representation and Transferability of Chest X-ray Models
Hari Sowrirajan, Jingbo Yang, Andrew Y. Ng +1
Contrastive learning is a form of self-supervision that can leverage unlabeled data to produce pretrained models. While contrastive learning has demonstrated promising results on n…