Sadegh AlMahdi Kazemi Zarkouei

1. Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
   2025/05/21 by HoHyun Sim, H.C. Cho, Hyeonjoong Cho +12 · 4 voices · 3 citations
   Computer Science · #AI-based Problem Solving and Planning #Parallel Computing and Optimization Techniques #Model-Driven Software Engineering Techniques
2. From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
   2025/04/25 by Ali Alfageeh, Alfageeh, Ali, Sadegh AlMahdi Kazemi Zarkouei +21 · 3 citations
   Computer Science · #Teaching and Learning Programming #Intelligent Tutoring Systems and Adaptive Learning #Online Learning and Analytics