Language-Based Testing for Pushdown Reactive Systems von Bonifacio, Adilson Luiz

Volltext

Test suite completeness and black box testing von Bonifácio, Adilson Luiz, Moura, Arnaldo Vieira

Volltext

Conformance Checking and Pushdown Reactive Systems von Bonifacio, Adilson, Moura, Arnaldo

Volltext

EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems von Bonifacio, Adilson Luiz, Camila Sonoda Gomes

Volltext

Testing Asynchronous Reactive Systems: Beyond the ioco framework von Bonifacio, Adilson, Vieira Moura, Arnaldo

Volltext

Automatically running experiments on checking multi-party contracts von Bonifacio, Adilson Luiz, Della Mura, Wellington Aparecido

Volltext

A Study on the Impact of Intradomain Finetuning of Deep Language Models for Legal Named Entity Recognition in Portuguese von Bonifacio, Luiz Henrique, Vilela, Paulo Arantes, Lobato, Gustavo Rocha, Fernandes, Eraldo Rezende

Volltext

A new method for testing timed systems von Bonifácio, Adilson Luiz, Moura, Arnaldo Vieira

Volltext

Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages von Bonifacio, Adilson Luiz

Volltext bestellen

Partial Models and Weak Equivalence von Bonifacio, Adilson Luiz, Moura, Arnaldo Vieira

Volltext

Systematic Evaluation of Neural Retrieval Models on the Touch\'e 2020 Argument Retrieval Subset of BEIR von Thakur, Nandan, Bonifacio, Luiz, Fröbe, Maik, Bondarenko, Alexander, Kamalloo, Ehsan, Potthast, Martin, Hagen, Matthias, Lin, Jimmy

Volltext bestellen

InPars: Data Augmentation for Information Retrieval using Large Language Models von Bonifacio, Luiz, Abonizio, Hugo, Fadaee, Marzieh, Nogueira, Rodrigo

Volltext bestellen

InPars Toolkit: A Unified and Reproducible Synthetic Data Generation Pipeline for Neural Information Retrieval von Abonizio, Hugo, Bonifacio, Luiz, Jeronymo, Vitor, Lotufo, Roberto, Zavrel, Jakub, Nogueira, Rodrigo

Volltext bestellen

InPars-v2: Large Language Models as Efficient Dataset Generators for Information Retrieval von Jeronymo, Vitor, Bonifacio, Luiz, Abonizio, Hugo, Fadaee, Marzieh, Lotufo, Roberto, Zavrel, Jakub, Nogueira, Rodrigo

Volltext bestellen

In Defense of Cross-Encoders for Zero-Shot Retrieval von Rosa, Guilherme, Bonifacio, Luiz, Jeronymo, Vitor, Abonizio, Hugo, Fadaee, Marzieh, Lotufo, Roberto, Nogueira, Rodrigo

Volltext bestellen

NeuralSearchX: Serving a Multi-billion-parameter Reranker for Multilingual Metasearch at a Low Cost von Almeida, Thales Sales, Laitz, Thiago, Seródio, João, Bonifacio, Luiz Henrique, Lotufo, Roberto, Nogueira, Rodrigo

Volltext bestellen

No Parameter Left Behind: How Distillation and Model Size Affect Zero-Shot Retrieval von Rosa, Guilherme Moraes, Bonifacio, Luiz, Jeronymo, Vitor, Abonizio, Hugo, Fadaee, Marzieh, Lotufo, Roberto, Nogueira, Rodrigo

Volltext bestellen

Billions of Parameters Are Worth More Than In-domain Training Data: A case study in the Legal Case Entailment Task von Rosa, Guilherme Moraes, Bonifacio, Luiz, Jeronymo, Vitor, Abonizio, Hugo, Lotufo, Roberto, Nogueira, Rodrigo

Volltext bestellen

"Knowing When You Don't Know": A Multilingual Relevance Assessment Dataset for Robust Retrieval-Augmented Generation von Thakur, Nandan, Bonifacio, Luiz, Zhang, Xinyu, Ogundepo, Odunayo, Kamalloo, Ehsan, Alfonso-Hermelo, David, Li, Xiaoguang, Liu, Qun, Chen, Boxing, Rezagholizadeh, Mehdi, Lin, Jimmy

Volltext bestellen

mMARCO: A Multilingual Version of the MS MARCO Passage Ranking Dataset von Bonifacio, Luiz, Jeronymo, Vitor, Abonizio, Hugo Queiroz, Campiotti, Israel, Fadaee, Marzieh, Lotufo, Roberto, Nogueira, Rodrigo

Volltext bestellen