Neural Invariant Ranker
Official code release of our EMNLP 2023 work NeuralInvariantRanker. We have designed a ranker that can distinguish between correct inductive invariants and incorrect attempts based on the problem definition. The ranker is optimized as a…