Bas Spitters (Aug 29 2020 at 11:55): Bas Spitters (Aug 29 2020 at 11:55):Is there an overview of industrial use cases of ITP?
I can come up with individual examples, but I expect someone to have written an overview already.
Karl Palmskog (Aug 30 2020 at 11:19):we wrote up a very brief overview in our survey, but I would expect this is stuff you already know about: https://arxiv.org/pdf/2003.06458.pdf#page=26
Last updated: Dec 05 2023 at 05:01 UTC