{"id":"W4287084115","doi":"","title":"Finite Develpments in the Lambda Calculus","year":2021,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Lambda; Calculus (dental); Mathematics; Church encoding; Typed lambda calculus; Lambda calculus; Pure mathematics; Algebra over a field; Simply typed lambda calculus; Physics; Discrete mathematics; Medicine; Dentistry; Optics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002723172,0.0006616347,0.0009281465,0.001615564,0.002716635,0.005036441,0.001719822,0.001123134,0.004323116],"category_scores_gemma":[0.006762249,0.0007677733,0.001262987,0.001429727,0.004239163,0.007490011,0.003010807,0.003351016,0.0007917506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003294725,"about_ca_system_score_gemma":0.00137843,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003279071,"about_ca_topic_score_gemma":0.002206899,"domain_scores_codex":[0.9978138,0.0005306319,0.0001078161,0.0003763078,0.0007434441,0.0004279987],"domain_scores_gemma":[0.9952614,0.003060632,0.0002472677,0.0004521193,0.0005713775,0.0004072352],"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.00003417124,0.00001346451,0.00009129433,0.00002253108,0.000006144043,0.00007862118,0.0002487212,0.001730333,0.0007087749,0.9936774,0.0003924291,0.002996022],"study_design_scores_gemma":[0.00001076716,0.000007017382,0.00005111341,0.000007198361,0.000008673164,0.00003553936,0.00004174262,0.009728266,0.0008949697,0.9869806,0.002222772,0.00001125061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2286467,0.001792698,0.6864957,0.00277613,0.000325379,0.00006181297,0.000312805,0.001154245,0.07843471],"genre_scores_gemma":[0.9105259,0.0007615956,0.05543332,0.0003114204,0.000326857,0.00008475217,0.0001879249,0.0002970747,0.03207121],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005036441,"threshold_uncertainty_score":0.02390498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01572006848909816,"score_gpt":0.2333206490361377,"score_spread":0.2176005805470395,"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."}}