HF RL Explorer

nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.es.test.13474

nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.es.test.13474: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. ¿Qué implica la traducción de un corte en el cálculo secuente? A. Introducir una nueva Formula Cut B. Componer, con un corte…

The task

¿Qué implica la traducción de un corte en el cálculo secuente? A. Introducir una nueva Formula Cut B. Componer, con un corte, las traducciones forestales de las dos subprodas del corte en la prueba secuencia C. Elegir una rama de la conjunción D. Instanciando la contradicción genérica Return only the single uppercase letter of the correct option.

Task details

language
es
family
mcq_vqa
mime
image/jpeg
media ready
False