{"id":"W4393943394","doi":"10.1007/978-3-031-57262-3_3","title":"Layered Modal Type Theory","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Modal; Type (biology); Type theory; Algorithm; Geology; Materials science","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.003794126,0.0006535526,0.0007230241,0.002150143,0.001524394,0.004277618,0.001889452,0.001286144,0.006252368],"category_scores_gemma":[0.003908525,0.0009282164,0.002742085,0.001521286,0.004248,0.01046357,0.004523228,0.002874945,0.001173642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003117067,"about_ca_system_score_gemma":0.001636435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003904953,"about_ca_topic_score_gemma":0.003395479,"domain_scores_codex":[0.9968166,0.0009042599,0.0002546827,0.0004919145,0.00104605,0.0004865985],"domain_scores_gemma":[0.9973711,0.0007329377,0.0002161782,0.0008100205,0.0006895109,0.0001803133],"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.00001852102,0.00000812846,0.0003600318,0.00003219464,0.00001370287,0.00005716847,0.0003197462,0.002890268,0.001069546,0.987878,0.0007004151,0.006652385],"study_design_scores_gemma":[0.00001224886,0.00001969556,0.0002313498,0.00005561711,0.00003360101,0.0001180445,0.0001025736,0.04024063,0.002171116,0.9376878,0.01929581,0.00003156794],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01943485,0.0003369687,0.9571542,0.00075134,0.0001946202,0.00006626762,0.0002280403,0.001100505,0.02073319],"genre_scores_gemma":[0.479617,0.0005928823,0.5014485,0.0009023236,0.0003305891,0.0002830077,0.0004235681,0.0005703181,0.01583178],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006252368,"threshold_uncertainty_score":0.02261603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02120570423818826,"score_gpt":0.248941261173122,"score_spread":0.2277355569349337,"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."}}