Prove softmax exp via small exp LUT + (out-of-range -> 0)

[Forpee]

The range of indices in the exp LUT that produce non-zero outputs is very small. Therefore, we can use a small LUT but enforce that any index outside the smaller exp LUT range returns 0