Zespół badaczy zaprezentował GRID, silnik dekodowania ograniczonego gramatyką, który umożliwia modelom językowym generowanie SQL z pełnymi gwarancjami poprawności i bezpieczeństwa dla środowisk korporacyjnych. Zamiast polegać na heurystykach, system wykorzystuje parser LALR(1) do precyzyjnego sterowania każdym generowanym tokenem, co eliminuje ryzyko syntaktycznie nieprawidłowego lub niezabezpieczonego kodu SQL.
Kluczową innowacją GRID jest mapowanie tokenów modelu bezpośrednio na terminale gramatyki poprzez przechodzenie przez trie na poziomie bajtów, a następnie wykorzystanie stanu parsera LALR(1) jako wskaźnika prawidłowych kontynuacji. System umożliwia kompilowanie kontroli dostępu opartej na rolach bezpośrednio do gramatyki - projekcje ról ograniczają produkcje dostępne w generowaniu, a leksykony schematu ograniczają dostęp do identyfikatorów. To oznacza, że niedozwolone polecenia SQL i tabele są niedostępne na poziomie generowania, nie zaś filtrowane po fakcie.
Implementacja w Rust osiąga medianę 3.6-6.7 mikrosekund na token, wyprzedzając konkurencyjne rozwiązanie llguidance zarówno dla p50 jak i p90 latencji, przy zerowych wynikach fałszywie odrzuconych. Testy na benchmarku Spider pokazują przyrost 13 punktów dokładności wykonania dzięki ograniczonemu dekodowaniu. Система zapewnia cztery podstawowe gwarancje - poprawność, kompletność, terminację oraz stałą koszt per-token - każdą z wyraźnymi warunkami wstępnymi i odpowiadającymi testami.