Greetings,
As you are using sockeye internally for the lexically constrained decoding, I thus wonder whether such improvements as MST/VDBA have been incorporated into sockeye already. To me, it looks like there is only Trie for negative constraints in sockeye (class Avoid*) and "Constraints for constrained decoding are processed sentence by sentence": https://github.com/awslabs/sockeye/blob/master/sockeye/inference.py#L2059
Thanks.