52 citations · 79 across the 16 of their papers we have counts for
3 papers · 1 filter
On the use of neurosymbolic AI for defending against cyber attacks
Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff +3
It is generally accepted that all cyber attacks cannot be prevented, creating a need for the ability to detect and respond to cyber attacks. Both connectionist and symbolic AI are…
Automating change of representation for proofs in discrete mathematics
Daniel Raggi, Alan Bundy, Gudmund Grov +1
Representation determines how we can reason about a specific problem. Sometimes one representation helps us find a proof more easily than others. Most current automated reasoning t…
Machine Learning in Proof General: Interfacing Interfaces
Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
We present ML4PG - a machine learning extension for Proof General. It allows users to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof tr…