4 citations · 7 across the 4 of their papers we have counts for
4 papers
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…
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…
Scenarios and Recommendations for Ethical Interpretive AI
John Licato, Zaid Marji, Sophia Abraham
Artificially intelligent systems, given a set of non-trivial ethical rules to follow, will inevitably be faced with scenarios which call into question the scope of those rules. In…
Learning
Selmer Bringsjord, Naveen Sundar Govindarajulu
This paper introduces, philosophically and to a degree formally, the novel concept of learning , intended (obviously) to be analogous to the concept of creation…