Sfoglia per Serie PROCEEDINGS - INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE
Mostrati risultati da 1 a 3 di 3
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach
2024-01-01 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
A survey on applications of quantified boolean formulas
2019-01-01 Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach | 1-gen-2024 | Guidotti, Dario; Pandolfo, Laura; Pulina, Luca | |
| A survey on applications of quantified boolean formulas | 1-gen-2019 | Shukla, A.; Biere, A.; Pulina, L.; Seidl, M. | |
| Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report | 1-gen-2023 | Guidotti, D.; Pandolfo, L.; Pulina, L. |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile