SYNT 2020: Gradient Descent over Metagrammars for Syntax-Guided Synthesis

CAV 2020 Keynote: Towards Robust Artificial Intelligence via Spec-consistent Machine Learning

The Art of Code - Dylan Beattie

จากโรงเรียนสู่โรงบาล! ชวนทั้งบ้านไปส่งบีบีเปิดเทอม แต่ไปจบที่โรงบาลได้ไง | BB Memory

Creaking เกิดในที่ไม่มีกลางวันและกลางคืน ได้ หรือ ไม่?

สาวโง่ถูกบังคับแต่งงานกับคนแปลกหน้าพิการแทนน้องสาว แต่เธอไม่คาดคิดว่าเขาเป็น CEO ที่ปกปิดตัวตน