{"id":"W3115637660","doi":"10.2168/lmcs","title":"Theory of Higher Order Interpretations and Application to Basic Feasible Functions","year":2020,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"","keywords":"Abstract interpretation; Interpretation (philosophy); Computer science; Bounding overwatch; Order (exchange); Domain theory; Domain (mathematical analysis); Functional programming; Algebra over a field; Mathematics; Theoretical computer science; Algorithm; 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.001918033,0.0002243702,0.0003027454,0.0001793747,0.0002123084,0.0003333489,0.001260932,0.0001643503,0.00004228058],"category_scores_gemma":[0.0005221001,0.0002248351,0.0001052422,0.0006797362,0.0001418828,0.0001575541,0.001624473,0.0003188062,0.00006848245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005214567,"about_ca_system_score_gemma":0.00018876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004616766,"about_ca_topic_score_gemma":0.0002901236,"domain_scores_codex":[0.9963823,0.001944971,0.0004301459,0.0007531799,0.0002814627,0.0002079257],"domain_scores_gemma":[0.9956202,0.000676471,0.0003661868,0.001705506,0.001442335,0.000189331],"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.000004748815,0.0001459094,0.0005125324,0.0001207947,0.0000507462,5.558608e-7,0.007237633,0.00006504974,0.001054666,0.9093446,0.0004692472,0.08099356],"study_design_scores_gemma":[0.001507806,0.000009574079,0.0281794,0.00104553,0.0002588089,0.00002698332,0.0007216052,0.117358,0.02124372,0.641439,0.1861718,0.00203783],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001273132,0.0005293655,0.9539111,0.00851584,0.0002866661,0.0006139972,0.00001232687,0.0002495416,0.03460801],"genre_scores_gemma":[0.9428041,0.00004428494,0.05119525,0.0001854934,0.00002365221,0.0001998551,0.00009666767,0.00002186094,0.005428853],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9415309,"threshold_uncertainty_score":0.916851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0189299162583425,"score_gpt":0.2429008077297024,"score_spread":0.2239708914713599,"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."}}