Naukowcy z projektu raiLPminer przedstawili nową metodę do automatycznego przetwarzania i standaryzacji formułacji programowania liniowego z publikacji naukowych, szczególnie w kontekście planowania jazdy pociągów. Zaproponowane narzędzie LP2Graph konwertuje różnorodne notacje i formaty modeli matematycznych z setek artykułów na jednolitą reprezentację - graf zmiennych i równań o typizowanych węzłach.
Problem, który rozwiązuje metoda, jest rzeczywisty i poważny. Wiedza na temat modelowania problemów optymalizacyjnych w kolejnictwie jest rozproszona w niezliczonych publikacjach z niekompatybilnymi notacjami. Obecnie obowiązujące przeglądy literaturowe klasyfikują modele subiektywnie i nie pozwalają na bezpośrednie porównanie czy replikację wyników. LP2Graph standaryzuje to poprzez wprowadzenie kanonicznej gramatyki - każda formułacja z publikacji jest parsowana do wspólnego modelu bazowego, homogenizowana i grupowana hierarchicznie (najpierw zmienne, potem ograniczenia i funkcja celu, następnie struktury całych modeli).
Wartość praktyczna polega na zaproponowanym schemacie walidacji. Dla każdej grupy modeli system generuje reprezentatywne instancje jako kod LaTeX i rozwiązuje je niezależnie za pomocą trzech solverów: CBC, HiGHS i Gurobi, porównując wyniki z optymami podanymi w oryginalnych papierach. Ta walidacja tworzy obiektywną, powtarzalną taksonomię zmiennych, ograniczeń i typów modeli - solidną podstawę dla automatyzowanego rozwoju rozwiązań do szeregowania pociągów.