nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15053
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15053: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. What is the difference between the shallow formula and the deep formula in proof forests? Answer in en. Be concise and…
The task
What is the difference between the shallow formula and the deep formula in proof forests? Answer in en. Be concise and complete; do not add unsupported claims.
Task details
- language
- en
- family
- descriptive_vqa
- mime
- image/jpeg
- media ready
- False