ARTIFICIAL VERIFIED SYMBOL PROGRAMS: A EXPANDING PROBLEM