Hari Sowrirajan

1. Aristotle: IMO-level Automated Theorem Proving
   2025/10/01 by Tudor Achim, Achim, Tudor, Alex Best +46 · 3 voices · 10 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #cs.AI #cs.CL
2. MoCo-CXR: MoCo Pretraining Improves Representation and Transferability of Chest X-ray Models
   2020/10/11 by Hari Sowrirajan, Jingbo Yang, Sowrirajan, Hari +5 · 2 citations
   Computer Science · Medicine · #Artificial Intelligence (cs.AI) #COVID-19 diagnosis using AI #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Radiomics and Machine Learning in Medical Imaging