بعد أكاديمية كاوست
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.
المشروع الصيفي
تخصص الذكاء الاصطناعي · دفعة 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.
المشرف: Raymond Sun (under the supervision of Fan Wei)
مع أكاديمية كاوست
- دفعة 2025
جامعة ديوك · التدريب الصيفي في الذكاء الاصطناعي
هل تريد تحديث بياناتك أو حذفها؟ تواصل معنا.