Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems. - Elijah Malaby; Bradley Dragun; John Licato (FLAIRS, 2020)

Exploring Monte Carlo Negotiation Search with Nontrivial Agreements. - Elijah Malaby; John Licato (FLAIRS, 2021)