49 citations · 51 across the 4 of their papers we have counts for
3 papers · 1 filter
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs
Lauren Nicole DeLong, Ramon Fernández Mir, Zonglin Ji +2
Biomedical datasets are often modeled as knowledge graphs (KGs) because they capture the multi-relational, heterogeneous, and dynamic natures of biomedical systems. KG completion (…
Machine-Learned Premise Selection for Lean
Bartosz Piotrowski, Ramon Fernández Mir, Edward Ayers
We introduce a machine-learning-based tool for the Lean proof assistant that suggests relevant premises for theorems being proved by a user. The design principles for the tool are…
Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
Lauren Nicole DeLong, Ramon Fernández Mir, Jacques D. Fleuriot
Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graph…