Zobrazeno 1 - 10
of 2 468
pro vyhledávání: '"A. Ramos-Miguel"'
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
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
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
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
Autor:
Serafim, Cindy1 (AUTHOR), Ramos, Miguel A.1 (AUTHOR), Yilmaz, Tugce1 (AUTHOR), Sousa, Nadine R.1 (AUTHOR), Yu, Kang2 (AUTHOR), Van Geel, Maarten3 (AUTHOR), Ceulemans, Tobias3 (AUTHOR), Saudreau, Marc4 (AUTHOR), Somers, Ben5 (AUTHOR), Améglio, Thierry4 (AUTHOR), Honnay, Olivier3 (AUTHOR), Castro, Paula M. L.1 (AUTHOR) plcastro@ucp.pt
Publikováno v:
BMC Plant Biology. 10/25/2024, Vol. 24 Issue 1, p1-13. 13p.
Publikováno v:
In Children and Youth Services Review November 2024 166
Autor:
Ibarra-Velarde, Froylán, Flores-Ramos, Miguel, Cruz-Mendoza, Irene, Vera-Montenegro, Yolanda, Hernández-Campos, Alicia, Leyva-Gómez, Gerardo, Rojas-Campos, Tania, Tovar-Escobar, David, Castillo, Rafael, Arias-García, Rosa, Francisco-Márquez, Gerardo, Ezeta-Miranda, Alonso
Publikováno v:
In Experimental Parasitology November 2024 266
Autor:
Jiménez-Guzmán, Graciela, Arroyo-Cosultchi, Gabriel, Martorell, Carlos, Martínez-Ramos, Miguel, Vega-Peña, Ernesto Vicente
Publikováno v:
In Journal of Arid Environments October 2024 224
Autor:
Tun-Carrillo, Marco A., Mora-Ramos, Miguel E., Gómez-Urrea, Hernán A., Pérez-Quintana, Ignacio V.
Publikováno v:
In Annals of Physics January 2025 472
Autor:
Sebastián, Eduardo, Martínez, Germán, Ramos, Miguel, Smith, Michael D., Peinado, Verónica, Mora, Luis, Lemmon, Mark T., de Vicente-Retortillo, Álvaro, de Lucas, Javier, Ferrándiz, Ricardo, Rodríguez-Manfredi, José A.
Publikováno v:
In Acta Astronautica January 2025 226 Part 1:791-802