◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

G. Grov

16 papers hereh-index 11457 citations95 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author6
  • middle author4
  • last author5

Across the 16 of 16 papers where every author was matched, so the position is known.

fields
  • cs.CR6
  • cs.LO4
  • cs.AI3
  • cs.SE3

identity via Semantic Scholar / OpenAlex

activity
20122026
most citedMachine Learning in Proof General: Interfacing Interfaces

52 citations · 79 across the 16 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.CR2024

Exploring reinforcement learning for incident response in autonomous military vehicles

Henrik Madsen, Gudmund Grov, Federico Mancini +2

Unmanned vehicles able to conduct advanced operations without human intervention are being developed at a fast pace for many purposes. Not surprisingly, they are also expected to s…

cs.AI2024

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…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.