Scholar
Cosmin Radoi
Google Scholar ID: rdZXMbMAAAAJ
Iuvo AI
program transformation
programming languages
software engineering
AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
583
H-index
9
i10-index
9
Publications
17
Co-authors
0
Publications
2 items
Solving VeriContest with a Lean-Backed Rust Verifier
2026
Cited
0
When AUC Misleads: Polarization-Aware Evaluation of Deepfake Detectors under Domain Shift
2026
Cited
0
