{"id":"W4205574221","doi":"10.1016/j.tcs.2016.12.016","title":"The search for a reduction in combinatory logic equivalent to λβ-reduction, Part II","year":2016,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Reduction (mathematics); Mathematics; Combinatory logic; Abstraction; Arithmetic; Algorithm; Discrete mathematics; Algebra over a field; Computer science; Pure mathematics; Programming language; Epistemology","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":[],"consensus_categories":[],"category_scores_codex":[0.002524951,0.0001606033,0.0001602754,0.0001714931,0.001027556,0.000196121,0.00220643,0.00004276763,0.00001033845],"category_scores_gemma":[0.0001315195,0.00008709066,0.00006116553,0.001119783,0.002244831,0.0005832845,0.001200259,0.0001280451,0.00005002099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001769797,"about_ca_system_score_gemma":0.0001444259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.728678e-7,"about_ca_topic_score_gemma":5.095472e-7,"domain_scores_codex":[0.9973735,0.0001384425,0.0003052103,0.0008053952,0.0005593477,0.0008181016],"domain_scores_gemma":[0.9982803,0.0003500584,0.00004837249,0.0008138378,0.0002505367,0.0002568666],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001939161,0.00005647423,0.000007042726,0.000002434009,0.000001283549,0.000001332403,0.0002971447,0.0001534525,0.002272527,0.9117432,0.0001434878,0.08530223],"study_design_scores_gemma":[0.0004451901,0.0008545778,0.0004441726,0.00005797172,0.000001790788,0.00005443679,0.00002718299,0.0160761,0.01522845,0.9650123,0.00154551,0.0002522786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07475657,0.00003044157,0.9065571,0.015916,0.001802534,0.0004694505,9.555229e-7,0.0001195649,0.0003474235],"genre_scores_gemma":[0.9649495,0.00001306766,0.0343696,0.0003029381,0.0001901642,0.00006906714,1.423806e-7,0.000006596613,0.00009889704],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8901929,"threshold_uncertainty_score":0.8271174,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448807832107794,"score_gpt":0.2931105218120522,"score_spread":0.2686224434909742,"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."}}