449 followers
@notypes There are some works that try to address this. For example, in this paper we show how to mitigate this for quantifiers by using complete instantiation techniques https://t.co/oWOQEuXB3w In this other paper they try to reduce instability via better