проверка корректности работы математических моделей в программах

верифицировать алгоритмы работающие на пайтон
-Levit Module – локальный и реактивный пересчёт кратчайших путей.
Fast Floyd-Warshall – teacher-модуль: пересчёт всех пар кратчайших путей.
Max-Max Evaluator – перебор маршрутов и расчёт точного PnL с учётом выпуклой AMM-модели.
GNN-Ranker – нейросетевой ранжировщик маршрутов с учётом прогноза и рисков.
Математик работает в паре...