There are pointers to some IBM Research papers here:
but I couldn’t find any mention of what implementation.