nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15277
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15277: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. What is the primary focus of the section on proof forests? A. soundness of proof forests B. structural reduction step C. strong…
The task
What is the primary focus of the section on proof forests? A. soundness of proof forests B. structural reduction step C. strong normalisation D. saturation Return only the single uppercase letter of the correct option.
Task details
- language
- en
- family
- mcq_vqa
- mime
- image/jpeg
- media ready
- False