nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15516
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15516: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. What is the relationship between canonical proof representations and semantics in logic? Answer in en. Be concise and complete…
The task
What is the relationship between canonical proof representations and semantics in logic? 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