After KAUST Academy
Yasir became a full-time System Analyst at Proptech_sa in October 2026, after three months as a trainee. Yasir graduated in January 2026, and Yasir's project on AI discovery of counterexamples in discrete mathematics ranked among the top 10 of 75 AI projects at the KAUST Academy AI Summer School 2025.
Summer project
Artificial Intelligence Specialization · Cohort 2025
AI-Powered Discovery of Counterexamples in Discrete Mathematics
This project uses reinforcement learning to discover counterexamples in discrete mathematics, the aim is to automate the search process and assist in identifying flaws in mathematical conjectures.
Mentor: Raymond Sun (under the supervision of Fan Wei)
With KAUST Academy
- Cohort 2025
Artificial Intelligence Specialization
Duke University · Artificial Intelligence Summer Internship
Want your entry updated or removed? Contact us.