{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003111997,0.0009876663,0.0008174894,0.00234593,0.00109606,0.004072825,0.001569264,0.001128812,0.003839096],"category_scores_gemma":[0.006194625,0.0006927433,0.002059083,0.001934266,0.005445472,0.007280236,0.002456531,0.005016628,0.0006612316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003171035,"about_ca_system_score_gemma":0.001228014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00129101,"about_ca_topic_score_gemma":0.001111992,"domain_scores_codex":[0.9972145,0.0008550773,0.0001561418,0.0004799185,0.0009554236,0.0003390218],"domain_scores_gemma":[0.9946879,0.003206204,0.0005122969,0.0006338459,0.0007107767,0.0002490817],"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.000009341118,0.00000812602,0.000102784,0.00002982492,0.000005315196,0.00002903439,0.0001273595,0.00365639,0.0005122059,0.9916719,0.0001954145,0.003652167],"study_design_scores_gemma":[0.000007628991,0.00001615447,0.0001088177,0.00002244388,0.000008732038,0.00005931865,0.00005037574,0.02514401,0.0009919946,0.9691437,0.004432799,0.00001401106],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02878373,0.0007766114,0.952529,0.0007127049,0.0000585987,0.00003040252,0.0001316157,0.0002034491,0.01677401],"genre_scores_gemma":[0.7059572,0.001435258,0.2797912,0.0002517135,0.0004311901,0.0002118807,0.0002599943,0.0002763661,0.01138523],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004072825,"threshold_uncertainty_score":0.02300763,"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."}}