LLM Verified with Monte Carlo Tree Search
مشروع تجريبي مفتوح المصدر يستخدم بحث شجرة مونت كارلو لتوجيه نموذج لغوي نحو برامج تجتاز أداة التحقق، مع فحص البرامج الجزئية في كل خطوة.
مفتوح المصدرالبرمجة والتطوير
زيارة الموقع(يفتح في تبويب جديد)
مشروع تجريبي مفتوح المصدر يستخدم بحث شجرة مونت كارلو لتوجيه نموذج لغوي نحو برامج تجتاز أداة التحقق، مع فحص البرامج الجزئية في كل خطوة.