מחקר זה לא כלל משתתפים אנושיים, בעלי חיים, דגימות ביולוגיות או נתוני מטופלים. לפיכך, לא נדרשו אישור אתי מוסדי והסכמה מדעת.
סקירת מערך המחקר
מסגרת אימות דו-שלבית הוטמעה כדי לשפר את המהימנות העובדתית של פלטים ממודלי שפה גדולים (LLM). הפרוצדורה כללה יצירת תגובה, חילוץ טענות, בניית סימוכין מבודדים (Isolated Reference Construction), אימות המבוסס על הסקת מסקנות בשפה טבעית (NLI), קבלת החלטות סטטיסטית אדפטיבית, תיקון סלקטיבי והרכבת התגובה הסופית. המסגרת הוערכה באמצעות מערכי נתוני הבנצ'מרק TruthfulQA ו-FEVER.
זרימת עבודה כללית
שאילתת משתמש ← יצירת תגובה ראשונית ← חילוץ טענות ← יצירת מקורות רפרנס עצמאיים ← אימות NLI ← חישוב סף סטטיסטי ← תיקון טענות ← תגובה מאומתת סופית. זרימת העבודה הכוללת של מסגרת אימות הטענות האדפטיבית מוצגת באיור 1.
הכנת מערך הנתונים
מערך הנתונים TruthfulQA12, המכיל 817 שאלות מבוססות עובדות, הורד והוכן להערכה. מערך הנתונים FEVER13 כולל 185,445 טענות מתויגות המסומנות כנתמכות (Supported), מופרכות (Refuted) או כמי שאין לגביהן מידע מספיק (Not Enough Information); ההערכה השתמשה בנתוני הפיתוח המתויגים עם שדות הטענה, הראיה והתווית של האמת (ground-truth label). כל טענה נערכה אל מול הראיות שסופקו עבורה, בעוד שתווית FEVER המקורית נשמרה כתוצאת הייחוס לצורך אימות. מערך הנתונים FEVER, המכיל זוגות של טענה-ראיה לאימות עובדות, הושג ועבר עיבוד מקדים. שאלות וטענות קלט הומרו לפורמט טקסט סטנדרטי. רשומות כפולות ודגימות חסרות הוסרו לפני הניסויים. TruthfulQA חולק לתתי-קבוצות של תיקוף ובדיקה. כ-20% מהדגימות של TruthfulQA (164 שאלות) שימשו לכוונון סף, בעוד ש-653 השאלות הנותרות נשמרו להערכת ביצועים. עבור FEVER, הטענות שסופקו בבנצ'מרק שימשו ישירות כיחידות אימות ולא עברו את תהליך יצירת התגובה ומיצוי הטענות שיושם על TruthfulQA. מאפייני מערכי נתוני הבנצ'מרק ששימשו לפיתוח ולהערכת המסגרת מסוכמים בTable 1.
יצירת תגובה ראשונית
כל שאילתה הוגשה למודל השפה הבסיסי. התגובות הופקו באמצעות nucleus sampling עם temperature של 0.7 ו-top-p של 0.9. אורך הפלט המקסימלי הוגבל ל-256 tokens. התגובות שהופקו נשמרו ללא עיבוד נוסף או שינוי ידני. הטקסט שהופק הועבר ישירות לשלב חילוץ הטענות.
חילוץ טענות
כל תגובה שהופקה פוּרקה להצהרות עובדתיות הניתנות לאימות עצמאי. נעשה שימוש בהנחיית פירוק מובנית כדי לזהות טענות אטומיות. הצהרות מורכבות הופרדו ליחידות עובדתיות מינימליות. דעות סובייקטיביות, ביטויים סגנוניים ומילות קישור שיחתיות הוסרו. כל טענה שהופקה נשמרה כיחידת אימות עצמאית.
דוגמה:
תגובה מקורית:
"מרי קירי הייתה פיזיקאית וכימיהי בשורשיה פולנית, שביצעה מחקרים חלוציים בתחום הרדיואקטיביות."
טענות שהופקו: (1) מארי קירי נולדה בפולין; (2) מארי קירי הייתה פיזיקאית וכימיה; (3) מארי קירי ערכה מחקרים על רדיואקטיביות.
בניית רצף ייחוס מבודד:
עבור כל טענה שהופקה, נוצר סימוכין עובדתי עצמאי. מודל האימות קיבל אך ורק את שאילתת המשתמש המקורית. הגישה לתשובה המקורית שהופקה הוגבלה כדי למנוע הטיות אישור. נעשה שימוש בהנחיית שליפה עובדתית כדי לעודד תשובות תמציתיות ומבוססות ראיות. הסימוכינים שהופקו נשמרו לצורך אימות עוקב.
אימות הסקה בשפה טבעית
כל זוג של טענה-מקור הוגש למודל NLI שאומן מראש. מודל ה-NLI סיווג את הקשר כ: גרירה (Entailment), ניטרלי (Neutral), או סתירה (Contradiction). הסתברויות הביטחון עבור שלושת הסיווגים נרשמו. הוקצה ציון אימות חתום: ערך חיובי עבור גרירה, אפס עבור ניטרלי, או ערך שלילי עבור סתירה. כל ציוני האימות נאספו לצורך חישוב הסף.
חישוב סף סטטיסטי אדפטיבי
ביטחון האימות המופק על ידי מודל ה-NLI משתנה באופן משמעותי בין תגובות שונות, מכיוון ששאילתות שונות מייצרות מספרים שונים של טענות, רמות שונות של מורכבות סמנטית והתפלגויות ביטחון שונות. סף גלובלי קבוע מניח שכל התגובות עוקבות אחר פרופיל ביטחון דומה, דבר שרק לעיתים רחוקות נצפה בפועל. כדי להתאימה לשונות זו, המסגרת המוצעת מעריכה את גבול ההחלטה באופן פרטני עבור כל תגובה, תוך שימוש בממוצע ובסטיית התקן של ציוני האימות שלה. הממוצע משקף את רמת הביטחון הכללית של התגובה, בעוד שסטיית התקן לוכדת את פיזור ערכי הביטחון בין הטענות שהופקו. ניסוח אדפטיבי זה מאפשר לקריטריון הקבלה להסתגל לאי-ודאות הספציפית לתגובה, במקום להסתמך על סף יחיד עבור כל הקלטים.
חושבו הממוצע (µ) וסטיית התקן (σ) של כל ציוני האימות החתומים.
סף ההחלטה האדפטיבי חושב באופן הבא:

כאשר τ מייצג את הסף האדפטיבי, µ מציין את ציון האימות הממוצע, σ מציין את סטיית התקן, ו-k מייצג את פרמטר הרגישות.
פרמטר הרגישות אותחל ב-0.7. טענות שסווגו כגרירה (Entailment) עם ציונים הגבוהים או השווים ל-τ+ התקבלו. טענות שסווגו כסתירה (Contradiction) עם ציונים הנמוכים או השווים ל-τ- סומנו לתיקון. טענות עם ציונים בטווח (τ+, τ-) נשמרו כניטרליות.
תיקון סלקטיבי של תביעות
טענה הועברה לתיקון רק כאשר מודל ה-NLI סיווג את זוג הטענה-מקור כסתירה (Contradiction), כאשר ציון האימות החתום התואם לה עמד בקריטריון הסף האדפטיבי si ≤ -τ. לפיכך, החלטת התיקון נקבעה באופן משותף על ידי תוויות הסיווג של ה-NLI והסף הסטטיסטי הספציפי לתגובה. טענות שסווגו כגרירה (Entailment) עם si ≥ τ התקבלו, בעוד שטענות שנפלו בטווח -τ < si < τ נחשבו לניטרליות ונשמרו ללא תיקון. קריטריון משולב זה הבטיח שהתיקון יוחל רק על טענות המפגינות הן סתירה סמנטית והן ראיות אימות שליליות חזקות מספיק.
שחזור התגובה
טענות שהתקבלו ותוקנו סודרו ברצפן המקורי שלהן. גבולות המשפטים הוחזרו כדי לשמור על קריאות. התאמות דקדוקיות מינוריות בוצעו במידת הצורך. הפלט המורכב נשמר כתגובה המאומתת הסופית.
הערכת ביצועים
המסגרת הוערכה באמצעות ארבעה מדדים: (1) דיוק (Accuracy): שיעור התגובות שנותרו נכונות עובדתית לאחר האימות; (2) מדד F1 (F1 Score): הממוצע ההרמוני של הדיוק (precision) והרגישות (recall) בזיהוי הזיות; (3) השהיית תגובה (Response Latency): זמן העיבוד הכולל מהגשת השאילתה ועד ליצירת התגובה המאומתת; (4) שיעור הזיות (Hallucination Rate)

השהיה (Latency) דווחה כזמן הביצוע הממוצע על פני מדידות חוזרות. מכיוון שערכי השהיה פרטניים לכל הרצה לא נשמרו, לא חושבו סטיות תקן ומרווחי סמך.
הערכת נכונות ספציפית לבנצ'מרק
עבור TruthfulQA, התגובה המאומתת הסופית הושוותה מול רפרנסים של תשובות מאושרות על ידי בני אדם ומול רשימות של תשובות שגויות השייכות לבנצ'מרק. תגובה נספרה כנכונה כאשר הטענות העובדתיות שלה היו עקביות עם המידע בתשובה המקובלת ולא הכילה תוכן התואם לדפוסי תגובה שגויים שזוהו. עבור FEVER, כל טענה בפלט הסופי הוערכה אל מול הראיות המשויכות אליה והאנוטציה המקורית של FEVER; טענות נתמכות (Supported) נחשבו למאומתות עובדתית, בעוד שטענות שהופרכו (Refuted) נספרו כשגויות. מקרים של "אין מספיק מידע" (Not Enough Information) נשמרו כבלתי ניתנים להכרעה ולא נחשבו כראיה עובדתית חיובית. ההחלטות ברמת הטענה שהתקבלו רוכבו עבור כל בנצ'מרק כדי לחשב את הדיוק (Accuracy) ואת שיעור ההזיות (Hallucination Rate) שדווחו.
סביבה ניסיונית
המסגרת יושמה באמצעות Python 3.9. פעולות עיבוד הנתונים בוצעו באמצעות ספריות ניתוח מספריות וטבלאיות. מודל ה-NLI פעל במצב הסקת מסקנות (inference mode) ללא כוונון עדין (fine-tuning) נוסף. הניסויים בוצעו בתחנת עבודה המצוידת במעבד Intel Core i5, זיכרון RAM בנפח 16 GB ומערכת הפעלה של 64-bit. כל ההערכות בוצעו בהגדרת הסקת מסקנות של מעבר יחיד כדי להבטיח פעולה בעיכוב נמוך (low-latency). כל הניסויים נערכו באמצעות תצורות חומרה ותוכנה זהות כדי להבטיח הערכה עקבית בין מערכי הנתונים לשיטות הבסיס (baseline methods).
תוצאה צפויה
הפרוטוקול תוכנן להפיק החלטות אימות ברמת הטענה על ידי זיהוי טענות שייתכן שאינן נתמכות, והעברה סלקטיבית של טענות עם סתירה חריפה לצורך תיקון. הפלט הצפוי הוא תגובה מאומתת עם פחות אי-עקביות עובדתיות ומעמס עיבוד נוסף מוגבל, בכפוף לביצועים שנצפו במהלך ההערכה הניסויית.