{"id":"W2785025127","doi":"10.23638/lmcs-16(4:14)2020","title":"Theory of higher order interpretations and application to Basic Feasible Functions","year":2020,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"Agence Nationale de la Recherche","keywords":"Abstract interpretation; Interpretation (philosophy); Bounding overwatch; Computer science; Order (exchange); Domain theory; Domain (mathematical analysis); Mathematics; Functional programming; Algebra over a field; Algorithm; Theoretical computer science; Programming language; Discrete mathematics; Pure mathematics; 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":[],"consensus_categories":[],"category_scores_codex":[0.002697826,0.000254471,0.0004770589,0.0003609398,0.0001476578,0.0003463747,0.002200543,0.0001739004,0.000009511065],"category_scores_gemma":[0.0003336158,0.0002044742,0.000079857,0.002232195,0.0004982901,0.0002526538,0.004055781,0.0004732244,0.00001929727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007778057,"about_ca_system_score_gemma":0.0002041468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003965885,"about_ca_topic_score_gemma":0.000004335468,"domain_scores_codex":[0.9966356,0.0006710252,0.0005461485,0.001381541,0.0004109026,0.0003548348],"domain_scores_gemma":[0.9975569,0.0006927589,0.0002393326,0.0009829259,0.0002793497,0.0002487442],"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.000005793492,0.00007284324,0.0003393803,0.00006188902,0.000008427183,0.000002583666,0.0009833821,0.002959686,0.0008979354,0.5094913,0.00002617604,0.4851507],"study_design_scores_gemma":[0.0001471901,0.0002334498,0.01197684,0.00003423486,0.00001128974,0.000008755349,0.00001748532,0.3029465,0.0004041683,0.6821086,0.001766008,0.0003454929],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002959958,0.0001780053,0.9943387,0.001068361,0.001740757,0.0007041553,0.000001628669,0.0001602305,0.001512155],"genre_scores_gemma":[0.3640795,0.000004133044,0.6351774,0.0004991672,0.00008489881,0.0001095396,0.000001208466,0.000005498141,0.0000386615],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4848052,"threshold_uncertainty_score":0.8338215,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08470821163239607,"score_gpt":0.3855110188118949,"score_spread":0.3008028071794988,"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."}}