{"id":"W2075116123","doi":"10.1016/j.tcs.2011.02.002","title":"The search for a reduction in combinatory logic equivalent to <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" display=\"inline\" overflow=\"scroll\"><mml:mi>λ</mml:mi><mml:mi>β</mml:mi></mml:math>-reduction","year":2011,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Scroll; Reduction (mathematics); Algorithm; Mathematics; Computer science; Artificial intelligence; Theology; Philosophy; Geometry","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003514007,0.0003044896,0.000185893,0.0002304608,0.001095233,0.0007481581,0.002614792,0.0002613312,0.0001029253],"category_scores_gemma":[0.0002380985,0.0003199649,0.0002798388,0.0009481368,0.002296784,0.0009181192,0.001868402,0.0005019021,0.0003363483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003930754,"about_ca_system_score_gemma":0.0003859485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007514981,"about_ca_topic_score_gemma":0.000009336399,"domain_scores_codex":[0.995827,0.0002280899,0.000602639,0.001087549,0.001124886,0.001129893],"domain_scores_gemma":[0.9973094,0.0005331181,0.0002484826,0.001366276,0.0001382434,0.000404472],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001822389,0.0001887242,0.000002549461,0.00006216171,0.00002891261,0.00004198686,0.001990258,0.0005732916,0.001777221,0.9859428,0.000501719,0.008708167],"study_design_scores_gemma":[0.0004733307,0.001052482,0.0001327576,0.0001966072,0.00003303497,0.0003144803,0.0002684635,0.8303697,0.07440607,0.092205,0.0001594426,0.0003886187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8478743,0.00009308082,0.1465801,0.000851076,0.002243549,0.0001107438,0.000009259958,0.0001733189,0.002064647],"genre_scores_gemma":[0.9804494,0.00004404878,0.01827855,0.0005689879,0.000405144,0.0001754068,0.000009975579,0.00004996814,0.0000184782],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8937378,"threshold_uncertainty_score":0.9999253,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02598607967378215,"score_gpt":0.2623358634728863,"score_spread":0.2363497837991042,"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."}}