Language modeling for legal proof | IEEE Conference Publication | IEEE Xplore