RamseyRL: A Framework for Intelligent Ramsey Number Counterexample Searching. - Steve Vott; Adam M. Lehavi (CoRR, 2023)

ML2SC: Deploying Machine Learning Models as Smart Contracts on the Blockchain. - Zhikai Li; Steve Vott; Bhaskar Krishnamachari (ICBC, 2024)