Assertion: algorithm's output | /r/HasProperty | encoded with a range encoder
Facets:
Source sentences:
text: LZMA uses a dictionary compression algorithm (a variant of LZ77 with huge dictionary sizes and special support for repeatedly used match distances), whose output is then encoded with a range encoder, using a complex model to make a probability prediction of each bit.