{"id":"W3091285509","doi":"10.4230/lipics.types.2019.9","title":"Is Impredicativity Implicitly Implicit","year":2020,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Consistency (knowledge bases); Recursion (computer science); Computer science; Focus (optics); Type (biology); Calculus (dental); Algorithm; Theoretical computer science; Artificial intelligence","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.01578075,0.0005896998,0.001470826,0.001432022,0.002787301,0.00767437,0.003768055,0.003179679,0.00523478],"category_scores_gemma":[0.04036221,0.001983605,0.001640212,0.001234714,0.01437119,0.02735491,0.009487456,0.007221802,0.001454906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001576249,"about_ca_system_score_gemma":0.002845355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001650215,"about_ca_topic_score_gemma":0.001209879,"domain_scores_codex":[0.9835037,0.005869856,0.001439406,0.003690158,0.003998647,0.001498211],"domain_scores_gemma":[0.9605723,0.01401328,0.001846506,0.01860869,0.004488101,0.000471227],"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.00003823555,0.000015333,0.0007769894,0.0001026425,0.00003054523,0.0001434489,0.001535887,0.0006971124,0.001118277,0.9869646,0.0005519975,0.008024932],"study_design_scores_gemma":[0.00003218552,0.00003868337,0.0002764134,0.0001411032,0.0001081435,0.000373181,0.0004481612,0.00471093,0.005714952,0.9580749,0.03002846,0.00005291536],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09158257,0.001185872,0.8282698,0.009248824,0.0006080831,0.0001117929,0.0003169098,0.002488108,0.06618803],"genre_scores_gemma":[0.8877556,0.0008199238,0.09579566,0.002380644,0.0004647697,0.000139949,0.0002379793,0.001228293,0.01117715],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01578075,"threshold_uncertainty_score":0.08345765,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02894255553916048,"score_gpt":0.2667136033054288,"score_spread":0.2377710477662683,"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."}}