23 citations · 46 across the 18 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 3 cited
Neural Analogical Matching
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz +1
Analogy is core to human cognition. It allows us to solve problems based on prior experience, it governs the way we conceptualize new information, and it even influences our visual…
cs.AI2020★ 4 cited
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse +1
Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning. While there have been various proposals for encoding…