The top documents tagged [proof modeling data]