{"id":"W2951734477","doi":"10.48550/arxiv.1005.1349","title":"On Holant Theorem and Its Proof","year":2010,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Range (aeronautics); Tensor (intrinsic definition); Proof of concept; Component (thermodynamics); Holography; Analytic proof; Mathematics; Theoretical physics; Computer science; Algebra over a field; Pure mathematics; Physics; Mathematical proof; Quantum mechanics; Geometry; Engineering","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.003456512,0.00108996,0.001179944,0.00209902,0.001760948,0.001808137,0.001477086,0.001466534,0.0137814],"category_scores_gemma":[0.008994103,0.0005076961,0.002030212,0.002284111,0.004401667,0.008140934,0.003616114,0.005916874,0.003543273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001440295,"about_ca_system_score_gemma":0.001670733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001666395,"about_ca_topic_score_gemma":0.0009941951,"domain_scores_codex":[0.9979499,0.0005959715,0.0001152475,0.0004983675,0.0005964189,0.0002440992],"domain_scores_gemma":[0.9953074,0.002684587,0.0002783369,0.0005366224,0.0009456901,0.0002474159],"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.00003562469,0.00002759789,0.0001610491,0.0001466221,0.00001364111,0.00008907161,0.0001395874,0.001122035,0.000837796,0.9700406,0.01174805,0.0156384],"study_design_scores_gemma":[0.00001887269,0.00003964673,0.0002002667,0.0000530673,0.00001332745,0.0002398318,0.00004078769,0.006710166,0.001176521,0.9689678,0.02251386,0.00002592695],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01507018,0.004753259,0.871207,0.01459289,0.00196287,0.0001467778,0.0009265272,0.0007456181,0.09059501],"genre_scores_gemma":[0.4927468,0.01045318,0.4242509,0.0173828,0.00445214,0.0007659398,0.00155184,0.001485385,0.04691093],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0137814,"threshold_uncertainty_score":0.04610336,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04696998440898185,"score_gpt":0.1929652698982776,"score_spread":0.1459952854892957,"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."}}