FRIPRO-Fri prosjektstøtte
AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction
AutoCSP vil bidra med vitenskapelige kunnskap og moderne løsninger gjennom problemspesifikke «solvers» som kombinerer datadrevne maskinlæringsmodeller (ML) og logikkdrevne «constraint solvers» i et hybrid intelligent system. Disse løsningene genereres
automatisk fra beskrivelsen av problemet som ...