proof_genselect: resources_servers: proof_genselect: entrypoint: app.py assert_think_end: false domain: math description: Pairwise proof selection with binary correctness reward verified: false proof_genselect_simple_agent: responses_api_agents: simple_agent: entrypoint: app.py resources_server: type: resources_servers name: proof_genselect model_server: type: responses_api_models name: policy_model datasets: - name: example type: example jsonl_fpath: resources_servers/proof_genselect/data/example.jsonl