nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.fr.train.309775
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.fr.train.309775: train task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. Qu'est-ce qui peut être prouvé dans la logique DT libre restreinte pour tout y (x) de la forme spécifiée et tout terms Y% Y%…
The task
Qu'est-ce qui peut être prouvé dans la logique DT libre restreinte pour tout y (x) de la forme spécifiée et tout terms Y% Y% Flosmé T et R? Answer in fr. Be concise and complete; do not add unsupported claims.
Task details
- language
- fr
- family
- descriptive_vqa
- mime
- image/jpeg
- media ready
- False