8 citations · 18 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems
Elijah Malaby, Bradley Dragun, John Licato
There is an increasing interest in applying recent advances in AI to automated reasoning, as it may provide useful heuristics in reasoning over formalisms in first-order, second-or…
cs.AI2020★ 2 cited
Probing the Natural Language Inference Task with Automated Reasoning Tools
Zaid Marji, Animesh Nighojkar, John Licato
The Natural Language Inference (NLI) task is an important task in modern NLP, as it asks a broad question to which many other tasks may be reducible: Given a pair of sentences, doe…