{"id":"W4393549379","doi":"10.5281/zenodo.10404174","title":"Data for An Approximate Skolem Funcion Counter (AAAI-24 paper)","year":2023,"lang":"en","type":"dataset","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science","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.001411279,0.00375751,0.001703743,0.003168532,0.001281025,0.002777427,0.003621599,0.003869922,0.04812178],"category_scores_gemma":[0.006739762,0.0008365346,0.001781622,0.006151631,0.0007187983,0.001622375,0.001907355,0.002785263,0.1082086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00182982,"about_ca_system_score_gemma":0.002569175,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0119884,"about_ca_topic_score_gemma":0.021169,"domain_scores_codex":[0.9977056,0.0002765862,0.0002507007,0.0005188999,0.0009156695,0.0003325092],"domain_scores_gemma":[0.9956864,0.0006488357,0.0002951488,0.00171265,0.001328661,0.0003283101],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001903385,0.00006860954,0.0006554892,0.0005135479,0.00002512845,0.00003282996,0.000009975304,0.0009556049,0.0002931048,0.0005913815,0.9929289,0.003735089],"study_design_scores_gemma":[0.0007709396,0.00009804763,0.004182589,0.0001693484,0.00004107317,0.0001655735,0.0000513809,0.003160769,0.003119372,0.003532222,0.9846594,0.00004914868],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0006272491,0.0001613946,0.0002812912,0.0001141791,0.0001060086,0.00002687151,0.994739,0.002162759,0.001781265],"genre_scores_gemma":[0.001112564,0.00004410963,0.0005657508,0.00005154691,0.00001460219,0.00007353761,0.9973391,0.000151127,0.0006476268],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.04812178,"threshold_uncertainty_score":0.1609834,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0979095220511578,"score_gpt":0.3050806920322731,"score_spread":0.2071711699811153,"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."}}