Loop engineering explained through Karpathy's autoresearch repo and Bilevel Autoresearch paper, covering verifiers, state, stop conditions