Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving | IEEE Conference Publication | IEEE Xplore