1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CL2024★ 1 cited
Segment-Based Interactive Machine Translation for Pre-trained Models
Angel Navarro, Francisco Casacuberta
Pre-trained large language models (LLM) are starting to be widely used in many applications. In this work, we explore the use of these models in interactive machine translation (IM…
cs.PL2001
Generation of and Debugging with Logical Pre and Postconditions
Angel Herrranz-Nieva Juan Jose Moreno Navarro
This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a specification language that integrates algebraic specifications and model-based…