nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15145
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15145: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. What is the consequence of the strict focus on witness assignment to quantifiers in proof forests? Answer in en. Be concise and…
The task
What is the consequence of the strict focus on witness assignment to quantifiers 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