{"id":"W7090712220","doi":"10.5281/zenodo.17298033","title":"Extensible Data Types with Ad-Hoc Polymorphism (Artifact)","year":2025,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Extensibility; Data type; Type (biology); Genetic data; Mathematical proof","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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004422258,0.000238316,0.0002547324,0.0003704232,0.0007437167,0.001299518,0.004259209,0.0001402774,0.008413005],"category_scores_gemma":[0.0001558053,0.0002037323,0.00003493886,0.0006771039,0.0001328234,0.0002658468,0.003686349,0.0002800276,0.01365561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006285516,"about_ca_system_score_gemma":0.00002374008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001046528,"about_ca_topic_score_gemma":0.000005629063,"domain_scores_codex":[0.9978235,0.0002332821,0.0002070483,0.0008771456,0.0004488659,0.0004101894],"domain_scores_gemma":[0.99719,0.00001629312,0.000186295,0.002191715,0.0002656184,0.0001500554],"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.0000103996,0.00005486423,6.161169e-7,0.00007837143,0.00007587481,0.00003623843,0.0001347348,0.000001203558,0.00002220969,0.03434817,0.80998,0.1552573],"study_design_scores_gemma":[0.0002667178,0.0001584101,0.00001499845,0.00004509222,0.00001951847,0.0000631706,0.00002792285,0.000257527,0.00002073242,0.0003560062,0.9985259,0.0002439581],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00000157813,0.001511443,0.1433706,0.0005299485,0.0002863962,0.0004844386,0.0001007453,0.002294431,0.8514204],"genre_scores_gemma":[0.009050488,0.0006347788,0.005886428,0.0003630106,0.0004685977,1.22295e-7,0.003417469,0.00580699,0.9743721],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.188546,"threshold_uncertainty_score":0.9997372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04679095579043176,"score_gpt":0.252641157705995,"score_spread":0.2058502019155633,"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."}}