Výsledky vyhledávání - "Ramos, Miguel"

Report

Fine-Grained Reward Optimization for Machine Translation using Error Severity Mappings

Autor: Ramos, Miguel Moura, Almeida, Tomás, Vareta, Daniel, Azevedo, Filipe, Agrawal, Sweta, Fernandes, Patrick, Martins, André F. T.

Reinforcement learning (RL) has been proven to be an effective and robust method for training neural machine translation systems, especially when paired with powerful reward models that accurately assess translation quality. However, most research ha

Externí odkaz: http://arxiv.org/abs/2411.05986

Zobrazit plný text záznamu

Report

Extending the Quantitative Pattern-Matching Paradigm

Autor: Alves, Sandra, Kesner, Delia, Ramos, Miguel

We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To model such programming languages, we

Externí odkaz: http://arxiv.org/abs/2408.11007

Zobrazit plný text záznamu

Report

Aligning Neural Machine Translation Models: Human Feedback in Training and Inference

Autor: Ramos, Miguel Moura, Fernandes, Patrick, Farinhas, António, Martins, André F. T.

Reinforcement learning from human feedback (RLHF) is a recent technique to improve the quality of the text generated by a language model, making it closer to what humans would generate. A core ingredient in RLHF's success in aligning and improving la

Externí odkaz: http://arxiv.org/abs/2311.09132

Zobrazit plný text záznamu

Report

Quantitative Global Memory

Autor: Alves, Sandra, Kesner, Delia, Ramos, Miguel

We show that recent approaches of static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-by-value language equipped with operations to access a global memory,

Externí odkaz: http://arxiv.org/abs/2303.08940

Zobrazit plný text záznamu

Akademický článek

Medición de la calidad de atención: test de conocimientos de planificación familiar para promotoras comunitarias

Autor: León, Federico, Bustamante, María, Mejía, J. Enrique, Ramos, Miguel, Mostajo, Eduardo, Monge, Rosa

Publikováno v: Revista de Psicología. 9(1):103-115

In order to counsel clients, provide methods, and make clinical references INPPARES' community promoters of contraceptives must know family planning technology. This article describes the construction of the Family Planning Knowledge Test for Promoto

Externí odkaz: http://revistas.pucp.edu.pe/index.php/psicologia/article/view/3800/3777
http://repositorio.pucp.edu.pe/index/handle/123456789/101641

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání