I also haven't read ths paper but coding agents absolutely are a part of modern SAT solver coding challenges.