Ivan visited Pooyan Jamshidi at the University of South Carolina. The agenda included conversations with like-minded researchers and tours of impressive mechanical, industrial, and electrical facilities. Thanks to UF and the SEC for supporting this academic exchange!
In addition, Ivan gave two talks about the recent research on confidence and robustness:
- Zhenjiang Mao*, Anirudhh Venkat*, Artem Bisliouk, Akshat Kothiyal, Sindhura Kumbakonam Subramanian, Saithej Singhu, Ivan Ruchkin.
Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning [Arxiv] [ACL].
In the Findings of the Association for Computational Linguistics (ACL), San Diego, California, 2026. * Co-first authors. - Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee.
Distributionally Robust Statistical Verification with Imprecise Neural Networks [Arxiv] [ACM] [Slides].
In Proceedings of the International Conference on Hybrid Systems: Computation and Control (HSCC), Irvine, CA, 2025.