A big challenge: tools to guarantee robust and controlled behavior of large language models (2024)
- Authors:
- USP affiliated authors: COZMAN, FABIO GAGLIARDI - EP ; PERES, SARAJANE MARQUES - EACH ; FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME ; COSTA, ANNA HELENA REALI - EP ; GOMI, EDSON SATOSHI - EP ; CORREIA, ARTUR JORDÃO LIMA - EP ; BRANDÃO, ANAROSA ALVES FRANCO - EP ; DELGADO, KARINA VALDIVIA - EACH ; MAUÁ, DENIS DERATANI - IME ; PARDO, THIAGO ALEXANDRE SALGUEIRO - ICMC ; MARQUES, FÁTIMA DE LOURDES DOS SANTOS NUNES - EACH
- Unidades: EP; EACH; IME; ICMC
- Subjects: LINGUAGEM; INTELIGÊNCIA ARTIFICIAL; CONVERSAÇÃO; PROCESSAMENTO DE LINGUAGEM NATURAL
- Keywords: Modelos de linguagem
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2024
- Source:
- Título: Anais
- Volume/Número/Paginação/Ano: p. 1-5, 2024
- Conference titles: Seminário de Grandes Desafios da Computação
-
ABNT
COZMAN, Fabio Gagliardi et al. A big challenge: tools to guarantee robust and controlled behavior of large language models. 2024, Anais.. Porto Alegre: SBC, 2024. p. 1-5. Disponível em: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf. Acesso em: 04 ago. 2025. -
APA
Cozman, F. G., Peres, S. M., Finger, M., Wassermann, R., Costa, A., Gomi, E. S., et al. (2024). A big challenge: tools to guarantee robust and controlled behavior of large language models. In Anais (p. 1-5). Porto Alegre: SBC. Recuperado de https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf -
NLM
Cozman FG, Peres SM, Finger M, Wassermann R, Costa A, Gomi ES, Correia AJL, Brandão AAF, Delgado KV, Mauá DD, Pardo TAS, Nunes F de L dos S. A big challenge: tools to guarantee robust and controlled behavior of large language models [Internet]. Anais. 2024 ; 1-5.[citado 2025 ago. 04 ] Available from: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf -
Vancouver
Cozman FG, Peres SM, Finger M, Wassermann R, Costa A, Gomi ES, Correia AJL, Brandão AAF, Delgado KV, Mauá DD, Pardo TAS, Nunes F de L dos S. A big challenge: tools to guarantee robust and controlled behavior of large language models [Internet]. Anais. 2024 ; 1-5.[citado 2025 ago. 04 ] Available from: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf - Satisfiability in EL with sets of probabilistic ABoxes
- Computational intelligence and adaptation in VANETs: current research and new perspectives
- The universe of propositional approximations
- Revising specifications with CTL properties using bounded model checking
- The universe of approximations
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Tableaux for approximate reasoning
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- Anytime approximations of classical logic from above
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3259264.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
