MILEAGE: An Automated Optimal Clause Search Paradigm for Tsetlin Machines | IEEE Conference Publication | IEEE Xplore