{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002394279,0.000221957,0.0002046958,0.0002019844,0.0001392261,0.0001285071,0.0011813,0.0002818453,0.000008310896],"category_scores_gemma":[0.00004362992,0.0002272872,0.00007315575,0.000215887,0.00005356784,0.0001451453,0.001451683,0.0007028805,0.00002189357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003773566,"about_ca_system_score_gemma":0.00008038741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009636998,"about_ca_topic_score_gemma":0.000003225359,"domain_scores_codex":[0.9987083,0.00009315312,0.0001136329,0.0008084619,0.00006715827,0.0002092626],"domain_scores_gemma":[0.998778,0.00009075241,0.0001563544,0.0007504159,0.0001101137,0.0001143],"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.00001191813,0.00005393341,0.00007803651,0.0000289924,0.00001907579,0.0000758108,0.0001196943,0.09964885,0.0000275712,0.8988822,0.0003004138,0.0007535339],"study_design_scores_gemma":[0.000156986,0.00005585295,0.0001589607,0.00006549666,0.00001010979,0.000004959958,0.00000236489,0.8475709,0.001084455,0.1504234,0.0001942113,0.0002722841],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1544214,0.00004507697,0.8386725,0.0001092709,0.0002739895,0.000236585,0.000004292177,0.0005120228,0.005724811],"genre_scores_gemma":[0.9923929,0.0001003716,0.00640558,0.0001348816,0.00003538745,6.867514e-7,0.000004460593,0.00001098546,0.0009147452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8379714,"threshold_uncertainty_score":0.9268501,"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."}}