{"id":"W4390870331","doi":"","title":"Teoría Constructiva de Tipos.","year":2024,"lang":"es","type":"preprint","venue":"","topic":"Engineering and Information Technology","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University","keywords":"Political science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002724302,0.002270297,0.0009852678,0.002864767,0.002889435,0.009197078,0.002553594,0.00205632,0.09206412],"category_scores_gemma":[0.006632072,0.001845561,0.003101647,0.002206791,0.00339168,0.01125969,0.005881278,0.004735755,0.04720493],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00202944,"about_ca_system_score_gemma":0.002395583,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00502922,"about_ca_topic_score_gemma":0.005328353,"domain_scores_codex":[0.9970052,0.0006641995,0.0003283116,0.0006886036,0.0009313936,0.0003823522],"domain_scores_gemma":[0.9975536,0.0007576006,0.0001168237,0.0005710052,0.0008792509,0.000121728],"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.0001119928,0.00006129445,0.0007934316,0.0005693986,0.00003529289,0.0005885019,0.001996846,0.0006302944,0.001854375,0.819535,0.08426265,0.08956091],"study_design_scores_gemma":[0.00003301802,0.0000354463,0.0002440399,0.0003422172,0.00004753506,0.0009702216,0.0007538146,0.003390811,0.00289012,0.2214939,0.7697535,0.00004537038],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003927044,0.001602315,0.7315864,0.002208419,0.001853591,0.0008097369,0.008803693,0.02314016,0.2260686],"genre_scores_gemma":[0.07421785,0.002242513,0.6913447,0.001714663,0.0008627414,0.001954947,0.01724667,0.01243693,0.1979789],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.09206412,"threshold_uncertainty_score":0.3079851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005139649551688286,"score_gpt":0.2203129905656568,"score_spread":0.2151733410139685,"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."}}