{"id":"W2921157271","doi":"","title":"Syntactical approaches to opetopes","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Sequent; Sequent calculus; Bijection; Zoom; Formalism (music); Algebraic number; Computer science; Algebra over a field; Calculus (dental); Mathematics; Algorithm; Theoretical computer science; Programming language; Pure mathematics; Discrete mathematics; Mathematical proof; Engineering; Geometry","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.00202889,0.0006662107,0.0003706234,0.002206004,0.002452546,0.004230983,0.001734206,0.001596423,0.006499258],"category_scores_gemma":[0.00474452,0.0005515305,0.0009613073,0.001533414,0.009727286,0.01025468,0.006354848,0.003684223,0.001142428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001736685,"about_ca_system_score_gemma":0.001066152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008064251,"about_ca_topic_score_gemma":0.0008083705,"domain_scores_codex":[0.9976948,0.0006510646,0.0002033797,0.0003599009,0.000836876,0.0002540286],"domain_scores_gemma":[0.9978511,0.0009216155,0.0001728508,0.0005187957,0.0004083552,0.0001272799],"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.000002146764,0.000001831436,0.00003687495,0.00001509897,0.000001273461,0.00002535483,0.0002233195,0.000152146,0.0002130438,0.9975913,0.0001430932,0.001594702],"study_design_scores_gemma":[0.000004666458,0.00001125814,0.0001420039,0.00002992976,0.000009636786,0.0001776193,0.0003348852,0.002543251,0.001502353,0.9540193,0.04120879,0.00001633363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03086161,0.001260842,0.8565431,0.002686557,0.0003710738,0.00009138083,0.0002297883,0.0006552538,0.1073005],"genre_scores_gemma":[0.7039304,0.002371253,0.2579888,0.00129753,0.000572219,0.0004375935,0.00034189,0.0003857281,0.03267456],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006499258,"threshold_uncertainty_score":0.02174217,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07727248489097728,"score_gpt":0.2811069714249566,"score_spread":0.2038344865339793,"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."}}