Mecanismul intern de Backtracking în caz de eșec al aserțiunilor în DSPy & Programare Algoritmică LLM

Când o aserțiune eșuează, DSPy nu repornește doar promptul de la zero, ci construiește dinamic o ‘fereastră de re-eșantionare’ ce include ieșirea eșuată anterioară și mesajul de corecție generat de aserțiune, solicitând modelului explicit să își corecteze greșeala anterioară.

Auto-Corecție Ghidată pe Bază de Erori

Transformă verificarea statică într-o conversație orientată spre conformare logică.

Traseu intern de Backtracking în DSPy:
1. Modelul generează: {"price": -50}
2. Evaluare: dspy.Assert(price >= 0, "Prețul nu poate fi negativ!") -> FAIL
3. Backtrack prompt adăugat automat:
   "Ieșirea ta anterioară a generat eroarea: Prețul nu poate fi negativ! Corectează valoarea."
4. Modelul re-generează: {"price": 50} -> PASS. Continuare execuție.

Utilizarea corectă a acestei funcționalități în DSPy asigură programarea algoritmică robustă a modelelor mari de limbaj, decuplând arhitectura codului de redactarea fragilă a prompturilor manuale.