Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi formali per l’integrazione di vincoli logici in reti neurali |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal methods for logical constraint integration in neural networks |
| G.S.D. | 01/INFO-01 - INFORMATICA |
| S.S.D | INFO-01/A - Informatica |
| Descrizione sintetica in italiano | Sintesi automatica di reti neurali certificate tramite loop CounterExample Guided Inductive Synthesis (CEGIS). Verifica di proprietà di safety tramite sintesi di controesempi. Sviluppo di metodologie per la riparazione ottima dei controesempi. Generazione di nuovi data points per correggere i comportamenti errati della rete neurale in fase di training. Validazione della metodologia su casi di studio. |
| Descrizione sintetica in inglese | research into: Automated synthesis of certified neural networks through CounterExample Guided Inductive Synthesis (CEGIS) loop. Verification of safety properties through counterexample synthesis. Development of methodologies for the optimal repair of counterexamples. Generation of new data points to correct neural network wrong behaviors during training. Validation of the methodology on a few case studies |
| Data del bando | 24/06/2024 |
| Numero di assegnazioni per anno | 1 |
| 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/ricerca/bandi-e-concorsi/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Importo annuale | 24320 |
| 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 | 09/07/2024 |
|---|---|
| Come candidarsi | https://pica.cineca.it/unipd/ |