nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15067
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15067: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. Which of the following operations does preserve Herbrand correctness? A. pruning operation B. disposal reduction steps C…
The task
Which of the following operations does preserve Herbrand correctness? A. pruning operation B. disposal reduction steps C. composition via cut, and propositional, logical, and structural reduction steps D. weakening existential nodes Return only the single uppercase letter of the correct option.
Task details
- language
- en
- family
- mcq_vqa
- mime
- image/jpeg
- media ready
- False