{"id":"W4399335583","doi":"10.1007/s10817-024-09696-4","title":"Formalized Functional Analysis with Semilinear Maps","year":2024,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Mathematics; Calculus (dental); Programming language; Medicine","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.003490086,0.0006968557,0.0005978335,0.002148092,0.0008684592,0.002966437,0.0009967939,0.0007783118,0.005340912],"category_scores_gemma":[0.005653488,0.0005313177,0.001760751,0.001282607,0.003465449,0.006826018,0.002134982,0.002826427,0.0006532553],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001855334,"about_ca_system_score_gemma":0.0008690424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001394435,"about_ca_topic_score_gemma":0.001035413,"domain_scores_codex":[0.9981365,0.0008051146,0.0001759529,0.0002899927,0.0004225988,0.0001696932],"domain_scores_gemma":[0.9959584,0.002579573,0.0002271485,0.0004636526,0.0006274039,0.0001439167],"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.00003180742,0.00002426866,0.0002490559,0.00004223285,0.00001378707,0.00006012592,0.0002367256,0.002672243,0.0009261051,0.9858429,0.0005595546,0.009341118],"study_design_scores_gemma":[0.00001240748,0.00001504275,0.0001067902,0.00001967024,0.00001437327,0.00005216189,0.00005266273,0.02083879,0.0008480523,0.9751505,0.002878696,0.00001087363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02466672,0.0004567151,0.9588374,0.0009804411,0.0001529654,0.00003367938,0.0002263275,0.0003318503,0.01431384],"genre_scores_gemma":[0.7038007,0.0007590308,0.2801298,0.0005182588,0.0004337522,0.0001890872,0.0004233764,0.0002514004,0.01349452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005340912,"threshold_uncertainty_score":0.01845759,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01184541577253727,"score_gpt":0.2475701355468231,"score_spread":0.2357247197742858,"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."}}