Elijah Malaby

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Sequent Calculus

Top Venues

FLAIRS Conference

Publications

Elijah Malaby, John Licato
Exploring Monte Carlo Negotiation Search with Nontrivial Agreements. FLAIRS Conference (2021)
Elijah Malaby, Bradley Dragun, John Licato
Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems. FLAIRS Conference (2020)
Elijah Malaby, Bradley Dragun, John Licato
Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems. CoRR (2020)