{"id":"W3129914072","doi":"10.46298/lmcs-18(1:33)2022","title":"A tier-based typed programming language characterizing Feasible Functionals","year":2022,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Type inference; Computer science; Oracle; Decidability; Programming language; Characterization (materials science); Class (philosophy); Type (biology); Theoretical computer science; Complexity class; Inference; Time complexity; Discrete mathematics; Mathematics; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.006249811,0.0002095388,0.0003208121,0.0003999475,0.0006494742,0.0005108446,0.002326673,0.00005540558,0.00006405859],"category_scores_gemma":[0.0001832897,0.000175719,0.0001062598,0.002986859,0.0002440497,0.0004746525,0.001531146,0.0004327055,0.0000212779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002124218,"about_ca_system_score_gemma":0.0002598315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004091705,"about_ca_topic_score_gemma":0.000001875346,"domain_scores_codex":[0.9961285,0.0008656106,0.0004168281,0.00101602,0.0008399308,0.000733127],"domain_scores_gemma":[0.9983791,0.0004328107,0.0001889404,0.0007258942,0.00009020244,0.0001831023],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001295563,0.0003011777,0.001748024,0.0000218258,0.000005177065,0.0001140543,0.0009354066,0.001352297,0.007032583,0.08129447,0.00002999006,0.9071521],"study_design_scores_gemma":[0.00127142,0.001501638,0.0165454,0.00001881863,0.000008622222,0.0002356867,0.0001749833,0.8954111,0.005114345,0.02985466,0.04875693,0.001106345],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005541941,0.0001565752,0.990315,0.0004814508,0.002130441,0.000404169,6.058725e-7,0.0003317239,0.0006381162],"genre_scores_gemma":[0.3818722,5.350475e-7,0.6169214,0.000917376,0.000108878,0.0001181777,0.00000158714,0.000006256653,0.00005357589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9060457,"threshold_uncertainty_score":0.7165612,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08669493134337099,"score_gpt":0.3739833435503497,"score_spread":0.2872884122069788,"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."}}