HF RL Explorer

optimize/ae p1 ff nikodym

optimize/ae p1 ff nikodym: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Nikodym sets over a finite field.

The task

Nikodym sets over a finite field.

Part of amphora/MathConstructOptimize-Envs-harbor.