nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15420
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15420: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. What do dashed lines in nets represent? A. They represent axioms B. They represent projections and injections C. They are not…
The task
What do dashed lines in nets represent? A. They represent axioms B. They represent projections and injections C. They are not immediately interpreted as morphisms D. They represent cut-free proof terms Return only the single uppercase letter of the correct option.
Task details
- language
- en
- family
- mcq_vqa
- mime
- image/jpeg
- media ready
- False