{"id":"W4387975997","doi":"10.3233/com-210349","title":"Enumerations of families closed under finite differences","year":2023,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Marsden Fund; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Enumeration; Degree (music); Set (abstract data type); Finite set; Discrete mathematics; Family of sets; Combinatorics; Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008783601,0.0002605774,0.0004817844,0.0002426172,0.0002247245,0.0001312766,0.001436951,0.0001081921,0.0000443077],"category_scores_gemma":[0.0003669817,0.0002369556,0.0002053893,0.001903157,0.0003628219,0.0003416575,0.001086514,0.0002195855,0.0001265198],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007292904,"about_ca_system_score_gemma":0.0001855945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001014813,"about_ca_topic_score_gemma":0.00005080349,"domain_scores_codex":[0.9972005,0.0003549123,0.0006483292,0.0008165645,0.0005281402,0.0004515498],"domain_scores_gemma":[0.995979,0.002008258,0.000158533,0.001411985,0.0003031381,0.0001391604],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00003924924,0.002322983,0.3003704,0.0005581164,0.0002313252,0.00002734705,0.01021627,0.1313109,0.002128482,0.1812829,0.001789179,0.3697229],"study_design_scores_gemma":[0.0002215367,0.0000963146,0.4622932,0.00001018088,0.000005721123,0.000001882526,0.00008477146,0.4456547,0.0003689646,0.09084627,0.0002079479,0.0002085342],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.485127,0.00004847754,0.5117903,0.0008788481,0.0006820612,0.0002787381,0.00001601394,0.0006585344,0.0005200337],"genre_scores_gemma":[0.978891,0.00001374637,0.02082497,0.00009524534,0.00007686325,0.00002488499,0.00001202943,0.00001022069,0.00005105046],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.493764,"threshold_uncertainty_score":0.9662771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04640201935667268,"score_gpt":0.272476377633765,"score_spread":0.2260743582770923,"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."}}