HF RL Explorer

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

nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.es.test.14238: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. ¿Cuál de los siguientes es un ejemplo de una representación de prueba canónica? A. Cálculo secuente clásico B. Nets de prueba…

The task

¿Cuál de los siguientes es un ejemplo de una representación de prueba canónica? A. Cálculo secuente clásico B. Nets de prueba de Girard para la lógica lineal multiplicativa C. Reglas estructurales de contracción D. Bosques de prueba Return only the single uppercase letter of the correct option.

Task details

language
es
family
mcq_vqa
mime
image/jpeg
media ready
False