{"id":"W2219497026","doi":"10.4204/eptcs.185.2","title":"An Open Challenge Problem Repository for Systems Supporting Binders","year":2015,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; University of Ottawa","funders":"","keywords":"Computer science; Variety (cybernetics); Set (abstract data type); Field (mathematics); Syntax; Software engineering; Key (lock); Data science; Programming language; Artificial intelligence; Computer security","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.04494229,0.001934375,0.004030517,0.01247248,0.005331022,0.01323924,0.01373128,0.005274842,0.03242897],"category_scores_gemma":[0.1030501,0.002526124,0.003587662,0.009299648,0.005032583,0.0346778,0.02533637,0.007777496,0.01616213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003777188,"about_ca_system_score_gemma":0.0101974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001275252,"about_ca_topic_score_gemma":0.001364772,"domain_scores_codex":[0.9536425,0.015207,0.0046077,0.004899834,0.01906199,0.002580951],"domain_scores_gemma":[0.8869311,0.03052105,0.006912024,0.05069222,0.01976901,0.005174557],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007586072,0.0009979621,0.005653967,0.002261062,0.0001430827,0.0007495026,0.004027331,0.01432208,0.005120063,0.4527315,0.1317965,0.3814384],"study_design_scores_gemma":[0.0003450825,0.0004682954,0.001295162,0.001106341,0.0001417736,0.001235622,0.001235655,0.06572235,0.01248673,0.3707139,0.5448799,0.0003692339],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"dataset","genre_scores_codex":[0.01289062,0.001363816,0.8621885,0.005295734,0.0007924715,0.00166089,0.004428125,0.06495241,0.04642733],"genre_scores_gemma":[0.1005942,0.001159458,0.8317824,0.001424401,0.0009179334,0.001985784,0.01560411,0.01962258,0.02690905],"genre_candidate":"dataset","genre_consensus":null,"teacher_disagreement_score":0.04494229,"threshold_uncertainty_score":0.2376804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02314822109730651,"score_gpt":0.2881608817737966,"score_spread":0.2650126606764901,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}