Skip to main navigation
Skip to search
Skip to main content
Aalto University's research portal Home
ACRIS instructions
English
Suomi
Home
Profiles
Publications and artistic outputs
Research data and software
Projects
Prizes
Activities
Press/Media
Infrastructure
Research units
Impacts
Search by expertise, name or affiliation
EuroProofNet STSM
Kogkalidis, Kokos
(Recipient)
Department of Computer Science
Professorship Garg Vikas
Prize
:
Granted funding (public project funding)
Description
Neural Premise Selection for Agda
Awarded date
2023
Granting Organisations
EuroProofNet