{"id":"W2981869759","doi":"","title":"Simulating Induction-Recursion for Partial Algorithms","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Recursion (computer science); Constructive; Normalization (sociology); Computer science; Algorithm; Mathematical induction; Theoretical computer science; Programming language; Mathematics","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.004432349,0.0007531891,0.00135421,0.0009044165,0.00158524,0.003788932,0.002654481,0.00198519,0.009360483],"category_scores_gemma":[0.03136316,0.000900629,0.002270774,0.001403741,0.003613753,0.006992632,0.004770197,0.003361845,0.001195295],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003359282,"about_ca_system_score_gemma":0.003347844,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003122586,"about_ca_topic_score_gemma":0.005921478,"domain_scores_codex":[0.9937441,0.003094609,0.0002886604,0.0007176821,0.001318769,0.0008361685],"domain_scores_gemma":[0.9729732,0.02045027,0.0005376227,0.004124489,0.001356948,0.000557551],"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.0006262779,0.0002098843,0.003564519,0.0003975698,0.0000795568,0.0002091386,0.0008536831,0.1134916,0.003799544,0.8203511,0.004011167,0.05240592],"study_design_scores_gemma":[0.00008067796,0.00004232194,0.0001918536,0.00003446286,0.00004413075,0.00005233404,0.00007595628,0.3480592,0.003860836,0.6444582,0.003082487,0.00001761121],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1668648,0.0004583758,0.7960906,0.002053949,0.0002312677,0.0001999488,0.0004811825,0.00544308,0.02817682],"genre_scores_gemma":[0.8516245,0.0002054072,0.1391894,0.0003208533,0.00008692149,0.0001825693,0.0006261058,0.0009927806,0.006771461],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009360483,"threshold_uncertainty_score":0.03131396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03417821584872099,"score_gpt":0.2704849275536662,"score_spread":0.2363067117049452,"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."}}