{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000849547,0.000125194,0.0002902929,0.0004648035,0.0001038268,0.0004705298,0.0003129758,0.00006494668,0.00002690405],"category_scores_gemma":[0.00003935278,0.00007732301,0.0002280387,0.001576683,0.00002467498,0.0006961384,0.00004782613,0.0002293136,0.00002530926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006569507,"about_ca_system_score_gemma":0.0001918729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001732433,"about_ca_topic_score_gemma":0.000004684302,"domain_scores_codex":[0.9986498,0.00007074979,0.0003951656,0.000173435,0.0004881939,0.0002227001],"domain_scores_gemma":[0.9991406,0.00008434685,0.0002482103,0.000182406,0.0002327275,0.0001117284],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004959608,0.0005828488,0.03851696,0.0007555885,0.02753286,0.00996029,0.01224425,0.1042743,0.004324982,0.6443504,0.0640009,0.09296067],"study_design_scores_gemma":[0.0005541093,0.0002953942,0.003396117,0.00008367983,0.0004455472,0.002157594,0.0001148835,0.9704077,0.0004000624,0.0007913275,0.02115037,0.0002031786],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02085367,0.002001131,0.9730806,0.0002904234,0.0009173604,0.00006798519,7.724239e-7,0.000774232,0.002013796],"genre_scores_gemma":[0.9787399,0.00001954142,0.02067737,0.00004053808,0.0001994801,0.000001789773,0.000003893169,0.000009894985,0.000307656],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9578862,"threshold_uncertainty_score":0.453733,"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."}}