تقييم نموذج على بيانات لم يُدرَّب عليها، عن طريق تقسيم العينة بشكل متكرر.التحقق المتقاطع هو مجموعة من التقنيات لتقدير مدى جودة أداء النموذج الإحصائي على بيانات جديدة غير مسبوقة. الفكرة الأساسية هي تقسيم البيانات المتاحة إلى أجزاء منفصلة: جزء يُستخدم لتدريب النموذج، والجزء الآخر لاختباره. يحاكي هذا الوضع الحقيقي حيث يجب على النموذج تقديم تنبؤات على بيانات لم يسبق له رؤيتها، مما يعطي مقياسًا أكثر صدقًا لقوته التنبؤية من مجرد إعادة الاختبار على بيانات التدريب.
قدم هذا المفهوم سيمور غايسر في عام 1975، بناءً على أعمال سابقة حول تقسيم البيانات والتنبؤ.
الشكل الأكثر شيوعًا هو التحقق المتقاطع بـ k-fold. تُقسم البيانات عشوائيًا إلى k أجزاء متساوية الحجم. يُدرَّب النموذج على k−1 أجزاء ويُختبر على الجزء المتبقي. تتكرر هذه العملية k مرة، وفي كل مرة يُستخدم جزء مختلف كمجموعة اختبار. التقدير النهائي للأداء هو متوسط نتائج الاختبارات k. يستخدم هذا جميع البيانات للتدريب والاختبار، مما يقلل من تباين التقدير مقارنة بتقسيم واحد.
يُستخدم في التعلم الآلي لضبط المعلمات الفائقة، واختيار أفضل نموذج بين نماذج متنافسة، وتقديم أرقام دقة واقعية.
في التحقق المتقاطع بترك واحد خارجًا، وهي حالة خاصة حيث k يساوي عدد نقاط البيانات، يُدرَّب النموذج على جميع النقاط باستثناء نقطة واحدة ويُختبر على تلك النقطة الواحدة، ويتكرر ذلك لكل نقطة.






