Rayan Krishnan
Orcid: 0000-0002-3481-020X
According to our database1,
Rayan Krishnan authored at least 9 papers
between 2020 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
CoRR, March, 2026
Proceedings of the ACM Conference on AI and Agentic Systems, 2026
2025
CoRR, August, 2025
2023
Patterns, September, 2023
2021
CheXbreak: Misclassification Identification for Deep Learning Models Interpreting Chest X-rays.
Proceedings of the Machine Learning for Healthcare Conference, 2021
Retrieval-Based Chest X-Ray Report Generation Using a Pre-trained Contrastive Language-Image Model.
Proceedings of the Machine Learning for Health, 2021
2020
CheXphoto: 10, 000+ Smartphone Photos and Synthetic Photographic Transformations of Chest X-rays for Benchmarking Deep Learning Robustness.
CoRR, 2020
CheXphoto: 10, 000+ Photos and Transformations of Chest X-rays for Benchmarking Deep Learning Robustness.
Proceedings of the Machine Learning for Health Workshop, 2020