{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005004775,0.0004668401,0.0005910203,0.0001336412,0.000376059,0.00068304,0.002218674,0.0002728614,0.00003480861],"category_scores_gemma":[0.00008731145,0.0003961511,0.0003807427,0.000562053,0.0001069167,0.001704114,0.0008475234,0.000437054,0.0006888544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009019037,"about_ca_system_score_gemma":0.0001216122,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006217873,"about_ca_topic_score_gemma":0.00000957605,"domain_scores_codex":[0.9967198,0.00004529641,0.001126862,0.0004998891,0.0006196719,0.0009885054],"domain_scores_gemma":[0.99743,0.00009342367,0.0005615637,0.001088827,0.0002741816,0.0005520472],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001713743,0.000862536,0.0404856,0.002640207,0.0008279302,0.00003203132,0.09441938,0.00003579954,0.001149563,0.5286781,0.09733054,0.2333669],"study_design_scores_gemma":[0.004670091,0.001364587,0.00275469,0.00004220534,0.00007164254,0.0001529665,0.001312125,0.1294883,0.003920632,0.01285361,0.841769,0.001600069],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02145382,0.00008058151,0.9608369,0.003095829,0.0008942024,0.001540421,0.000142692,0.0007849208,0.01117064],"genre_scores_gemma":[0.9840176,0.00001881028,0.008018592,0.007094328,0.000351786,0.0001502897,0.0001239953,0.00003979389,0.000184794],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9625638,"threshold_uncertainty_score":0.999849,"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."}}