TrueChange (TM) Under the Hood: How We Check the Consistency of Large Models (Almost) Instantly.

Hugo Loureno, Rui Eugnio

Browse the full MODELS paper archive.