GitHub repository: mojtaba-eshghie/KIWI
Description: KIWI denoises invariants to prepare them for real-world analysis and repair tasks.