Re-implement of MILCOM 2023 Paper: Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving - View it on GitHub