{"id":"W4388940312","doi":"10.46298/entics.12290","title":"Graded Differential Categories and Graded Differential Linear Logic","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Japan Society for the Promotion of Science; University of Ottawa; Aix-Marseille Université","keywords":"Linear logic; Mathematics; Mathematical proof; Sequent calculus; Substructural logic; Discrete mathematics; Differential calculus; Differential (mechanical device); Algebra over a field; Pure mathematics; Sequent; Calculus (dental); Many-valued logic; Computer science; Description logic; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.0005090435,0.0002180332,0.000256124,0.0003347468,0.0003094131,0.0005493599,0.0008380323,0.00006737883,0.000005870085],"category_scores_gemma":[0.00005819013,0.0001713526,0.00004006051,0.00113702,0.001226435,0.0006574581,0.001132787,0.0003004308,0.00001380783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005148054,"about_ca_system_score_gemma":0.0001444966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008027238,"about_ca_topic_score_gemma":0.000003168685,"domain_scores_codex":[0.9979334,0.00004936199,0.0004306649,0.0003503681,0.0004155001,0.0008206519],"domain_scores_gemma":[0.9990844,0.0003019547,0.00008801663,0.000296728,0.00004968375,0.0001792046],"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.000006099057,0.0000235721,0.00007168855,0.00001863126,0.000004521545,0.000002677806,0.001451737,0.0001401304,0.0002049565,0.9495496,0.000003945639,0.04852246],"study_design_scores_gemma":[0.0002922289,0.0001570772,0.001795641,0.00001341791,0.000002828075,0.00001913362,0.00001125645,0.6212389,0.001053343,0.3752524,0.000008370313,0.0001554265],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4851643,0.0000251659,0.5139939,0.0003637569,0.0002245851,0.00009849744,5.049871e-7,0.0001051968,0.0000240936],"genre_scores_gemma":[0.9932429,0.00008655361,0.006329305,0.0002313005,0.00008753415,0.000009145269,0.000004133392,0.00000548345,0.000003652094],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6210988,"threshold_uncertainty_score":0.6987555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009090863616609317,"score_gpt":0.2391340152349156,"score_spread":0.2300431516183062,"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."}}