Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | n. 3 assegni di ricerca “SymboliG: Symbolic conditioning of Graph Generative Models” |
---|---|
Titolo del progetto di ricerca in inglese | n. 3 research grants on “SymboliG: Symbolic conditioning of Graph Generative Models” |
G.S.D. | 01/INFO-01 - INFORMATICA |
S.S.D | INFO-01/A - Informatica |
Descrizione sintetica in italiano | esploreranno ed estenderanno diverse tecniche per incorporare conoscenza di background espressa come formule logiche del primo ordine pesate nelle reti neurali e, in particolare, nelle reti neurali per grafi. Sfrutteranno ed estenderanno diversi approcci tratti dalla letteratura, inclusi metodi basati sulla regolarizzazione oppure sulla sintesi induttiva guidata da controesempi. I ricercatori si concentreranno sui recenti modelli generativi per i grafi, concentrandosi principalmente sui modelli di diffusione e basati su transformer. Inoltre, esploreranno come ottenere formule logiche in modi intuitivi come, sfruttando grafi di conoscenza o ontologie. I ricercatori considereranno l'inclusione incrementale dei vincoli, ottenendo un processo di generazione interattivo guidato da esperti del dominio, dove i vincoli da includere saranno guidati dall'osservazione dei grafi precedentemente generati. Infine, studieranno casi in cui l'input e l'output sono composti da sequenze di grafi. |
Descrizione sintetica in inglese | explore and extend different techniques to incorporate background knowledge expressed as weighted first-order formulas in neural networks in general, and graph neural networks in particular. They will exploit and extend several alternative approaches from the literature, including regularization-based methods and counterexample-guided inductive synthesis. The researchers will focus on current state-of-the-art generative models for graphs, mainly focusing on diffusion and transformer models. They will explore how to obtain logical formulas in user-friendly ways such as exploiting knowledge graphs or ontologies. The researchers will consider the incremental inclusion of constraints, obtaining an interactive generation process driven by domain experts, where the constraints to include will be driven by the observation of the previously generated graphs. Moreover, they will study cases in which the input and the output are composed of sequences of graphs |
Data del bando | 19/07/2024 |
Numero di assegnazioni per anno | 3 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
EUROPE |
Nazionalità dei candidati |
EUROPE |
Sito web del bando | https://www.math.unipd.it/news/bando-n-16-2024-per-n-3-assegni-di-ricerca-symbolig-symbolic-conditioning-of-graph-generative-models/ |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Importo annuale | 23.104 |
Valuta | Euro |
Nome dell'Ente finanziatore | UNIVERSITà DEGLI STUDI DI PADOVA - DIPARTIMENTO DI MATEMATICA |
---|---|
Tipologia dell'Ente | Academic |
Paese dell'Ente | Italy |
Città | PADOVA |
Codice postale | 35121 |
Indirizzo | via trieste 63 |
Sito web | https://www.math.unipd.it/ |
assegni.ricerca@math.unipd.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 05/08/2024 - alle ore 00:00 |
---|---|
Come candidarsi | https://pica.cineca.it/unipd/ |