49 citations · 79 across the 20 of their papers we have counts for
21 papers
APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
Huajian Xin, Luming Li, Xiaoran Jin +2
While frontier formal mathematics systems now routinely develop repository-scale proof engineering artifacts requiring multi-file coordination and semantic correctness beyond compi…
Process-aware Human Activity Recognition
Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot +1
Humans naturally follow distinct patterns when conducting their daily activities, which are driven by established practices and processes, such as production workflows, social norm…
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 (…
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…
Constrained Training of Neural Networks via Theorem Proving
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
We introduce a theorem proving approach to the specification and generation of temporal logical constraints for training neural networks. We formalise a deep embedding of linear te…
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
Richard Schmoetten, Jake Palmer, Jacques Fleuriot
This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hi…