Idan Davidovich is a graduate student in Applied Mathematics at Case Western Reserve University and a member of the PEAT AI lab.
My current research interests focus on Scientific Computing, Statistical/Machine Learning, and improving the formal reasoning abilities of Large Language Models.
