Zespół badaczy zajął się fundamentalnym wyzwaniem w uczeniu reprezentacji dla modeli fizycznych: czy możemy zagwarantować matematycznie, że prawa zachowania (takie jak zachowanie energii czy pędu) pozostają ważne w latentnej przestrzeni nauczanej przez model. Zamiast certyfikować bezpośrednio nauczony Hamiltonian czy skalarny witness, opracowali metodę certyfikacji dekodowanego fizycznego niezmiennika - czyli rzeczywistej wielkości fizycznej obliczanej z odkodowanego stanu ukrytego i porównując z znanym invariantem teoretycznym.
Klucze do ich podejścia jest wprowadzenie "shell-horizon certificates" - granice czasowe gwarantujące, że symulacja modelu na wielu kroków pozostaje na poziomicy fizycznego invariantu. Te horyzonty rozpadają się na trzy komponenty: błędy reprezentacji, błędy dekodowania i błędy dynamiki latentnej. Autorzy wykazali, że nauczony soft witness może być przełożony na certyfikowany horyzont dla dekodowanego invariantu przez specjalny most wyrównujący.
Wyniki eksperymentów ujawnily niespodziewane wzorce: sztywne kanoniczne struktury symplektyczne osiągały najdłuższe horyzonty w znanych współrzędnych fazowych, ale nie potrafiły przejść do nauczonych współrzędnych. Natomiast miękie niezmienniki z kontrolowanym dostosowaniem Lipschitza przetrwały w testowanych scenariuszach z reprezentacją nauczaną. Nawet obserwacje z pixeli mogły być certyfikowane na stabilnych podtubusach. Problem Keplera odsłonił geometryczne granice tej metody, wskazując, że nie wszystkie systemy są równie podatne na taką certyfikację.