{"id":"W2951224964","doi":"10.48550/arxiv.1303.6453","title":"Feasible combinatorial matrix theory","year":2013,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematical proof; Sigma; Matrix (chemical analysis); Mathematics; Combinatorial principles; Order (exchange); Combinatorial proof; Combinatorics; Discrete mathematics; Algebra over a field; Pure mathematics; Combinatorial explosion; Physics; Quantum mechanics","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.002410122,0.0009366562,0.0006795618,0.001535251,0.002009284,0.004908267,0.002806225,0.001308677,0.01837265],"category_scores_gemma":[0.009833003,0.0008484951,0.001653611,0.001586869,0.00335433,0.007871964,0.003122361,0.003632511,0.003302345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002128913,"about_ca_system_score_gemma":0.001188076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001197951,"about_ca_topic_score_gemma":0.001818859,"domain_scores_codex":[0.997296,0.0008825509,0.0001181901,0.0004929128,0.0009415344,0.000268685],"domain_scores_gemma":[0.994967,0.003029881,0.000349314,0.0007829745,0.000639083,0.0002316997],"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.000008243357,0.000009365941,0.00007067453,0.00003685896,0.000005698163,0.00003828732,0.00006173014,0.001033702,0.0002355209,0.9939145,0.001129903,0.003455564],"study_design_scores_gemma":[0.000005537108,0.000009524723,0.00004187071,0.00001972677,0.000007409321,0.00007119086,0.00004191346,0.009720853,0.0008158139,0.9812393,0.008019317,0.000007541103],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0187225,0.0005352169,0.8750771,0.00266419,0.0001834335,0.00009007186,0.0005567818,0.0006691316,0.1015017],"genre_scores_gemma":[0.5867983,0.001335824,0.378279,0.001013204,0.000413233,0.0003570699,0.00109168,0.0004591918,0.03025248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01837265,"threshold_uncertainty_score":0.06146264,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05620071040006552,"score_gpt":0.196142273062249,"score_spread":0.1399415626621835,"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."}}