{"meta":{"query_hash":"fe2277027204","filters":{"venue":"PROOF"},"cohort_total":7,"direct_labels_cover":0,"predictions_cover":7,"exported":7,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/fe2277027204","api":"https://metacan.xera.ac/api/v1/cohort?venue=PROOF"},"results":[{"id":"W4220758679","doi":"10.37394/232020.2022.2.10","title":"Classic Probability Revisited (I): Mathematical Models of an Extended Probability Theory","year":2022,"lang":"en","type":"article","venue":"PROOF","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada; Tsinghua University","keywords":"Sample space; Probability theory; Bayes' theorem; Probability distribution; Conditional probability; Computer science; Mathematics; Tree diagram; Bayesian inference; Probability measure; Applied probability; Empirical probability; Bayesian probability; Posterior probability; Artificial intelligence; Discrete mathematics; Statistics","score_opus":0.04000483509680542,"score_gpt":0.2644729396605929,"score_spread":0.22446810456378746,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4220758679","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.019405669,0.0031881111,0.9438472,0.0046301493,0.00039262392,0.000040299154,0.00022289068,0.00014861334,0.028124508],"genre_scores_gemma":[0.763649,0.004024513,0.21515307,0.002124548,0.0015921128,0.00024527937,0.00024811123,0.00011257952,0.012850782],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99734664,0.00080810144,0.0001720534,0.0005563192,0.0009613985,0.00015550505],"domain_scores_gemma":[0.99537486,0.0027039123,0.0004968442,0.00076393934,0.000496964,0.000163507],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0037449563,0.00062242715,0.00082962087,0.0020767418,0.0008351678,0.0043344973,0.0019472139,0.001676702,0.0033195205],"category_scores_gemma":[0.008306558,0.0004459815,0.0018693418,0.0017252071,0.006932907,0.0095395595,0.002289807,0.0035715916,0.0005316447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000023662142,0.0000020195034,0.0000518554,0.000015811536,0.0000047379226,0.000022514896,0.000063132306,0.0012146467,0.00007638005,0.99655056,0.0003068517,0.0016889548],"study_design_scores_gemma":[0.0000039668294,0.000010322845,0.00009946664,0.000015100411,0.0000059560066,0.0000837601,0.000021274509,0.014621709,0.00007912064,0.9809749,0.004076501,0.000008041526],"about_ca_topic_score_codex":0.0012162611,"about_ca_topic_score_gemma":0.0005367586,"teacher_disagreement_score":0.0043344973,"about_ca_system_score_codex":0.0021183304,"about_ca_system_score_gemma":0.0009169059,"threshold_uncertainty_score":0.019805491},"labels":[],"label_agreement":null},{"id":"W4221014773","doi":"10.37394/232020.2022.2.11","title":"Classic Probability Revisited (II): Algebraic Operations of the Extended Probability Theory","year":2022,"lang":"en","type":"article","venue":"PROOF","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Conditional probability; Probability theory; Tree diagram; Bayes' theorem; Computer science; Law of total probability; Applied probability; Inference; Probability measure; Theoretical computer science; Algebraic number; Event (particle physics); Probability distribution; Mathematics; Bayesian probability; Artificial intelligence; Discrete mathematics; Posterior probability","score_opus":0.02163527867452794,"score_gpt":0.2407923978597869,"score_spread":0.21915711918525896,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4221014773","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.028100597,0.0031571488,0.90990394,0.0033966203,0.0009763989,0.000066401575,0.0002618493,0.0002223944,0.053914733],"genre_scores_gemma":[0.7158653,0.0034866433,0.2601386,0.0024557945,0.002494954,0.0002885403,0.00031670602,0.00020341201,0.014750062],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9983255,0.00048053288,0.000142206,0.00037587687,0.00055052456,0.00012527454],"domain_scores_gemma":[0.9980775,0.0008705514,0.0002542768,0.0003844727,0.00030477066,0.00010835205],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0021877205,0.0005500165,0.0005199354,0.0017916475,0.001127624,0.0033460525,0.0012070368,0.00096100685,0.00437292],"category_scores_gemma":[0.0051908554,0.00031830772,0.0013052599,0.0013868826,0.0068984325,0.00799812,0.0028924223,0.0031409974,0.00059261674],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000029835553,0.0000016716145,0.000027862794,0.00001557334,0.0000030136475,0.00002542638,0.00006853937,0.00022899701,0.00018733733,0.9965252,0.0003499418,0.0025634444],"study_design_scores_gemma":[0.000004147052,0.000013689118,0.000115149276,0.000016374372,0.0000062516947,0.00016748035,0.00004160404,0.0033908645,0.00032418952,0.98666906,0.009238284,0.000012880343],"about_ca_topic_score_codex":0.0007532491,"about_ca_topic_score_gemma":0.00030998484,"teacher_disagreement_score":0.00437292,"about_ca_system_score_codex":0.001293949,"about_ca_system_score_gemma":0.0008992802,"threshold_uncertainty_score":0.014628887},"labels":[],"label_agreement":null},{"id":"W4251777843","doi":"10.37394/232020.2021.1.11","title":"Formal Theories of Engineering Management","year":2021,"lang":"en","type":"article","venue":"PROOF","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Underpinning; Quality assurance; Task (project management); Workload; Work (physics); Quality (philosophy); Computer science; Knowledge management; Management science; Engineering; Process management; Systems engineering; Operations management","score_opus":0.00707673609327304,"score_gpt":0.20631264155399665,"score_spread":0.19923590546072362,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4251777843","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.010566821,0.01453046,0.55006045,0.018882735,0.00072993746,0.00013230897,0.00048538652,0.0003084145,0.40430352],"genre_scores_gemma":[0.7513613,0.014316231,0.1766999,0.0033758124,0.0020721476,0.0009525749,0.00082573673,0.00016386229,0.050232444],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9977634,0.0008324337,0.00018139444,0.00031045763,0.0007090355,0.00020324245],"domain_scores_gemma":[0.99648947,0.0019621328,0.00031699697,0.00056711416,0.0005471881,0.00011706416],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0034299286,0.000867945,0.0006008756,0.0020522869,0.0016963595,0.0049078036,0.0015420801,0.0016434501,0.0066461638],"category_scores_gemma":[0.0053008865,0.0003987099,0.000911729,0.0016151997,0.0123296585,0.0065501286,0.0021506646,0.0026202616,0.0014632159],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[4.0516574e-7,0.0000018526795,0.000013772023,0.000009658588,0.0000011856865,0.0000047992744,0.00004652932,0.0004030567,0.000010606711,0.99826944,0.00032117296,0.00091751426],"study_design_scores_gemma":[0.0000031471973,0.0000018736331,0.000020591666,0.000016529182,0.0000010489401,0.000009176584,0.000032680593,0.0009857528,0.000019874971,0.9886594,0.010247882,0.0000019788754],"about_ca_topic_score_codex":0.0029977204,"about_ca_topic_score_gemma":0.0018591292,"teacher_disagreement_score":0.0066461638,"about_ca_system_score_codex":0.0046842494,"about_ca_system_score_gemma":0.0023040124,"threshold_uncertainty_score":0.033986807},"labels":[],"label_agreement":null},{"id":"W4281732905","doi":"10.37394/232020.2022.2.18","title":"A Note on Taylor Series Representation of the Nield-Kuznetsov Function of the Second Kind","year":2022,"lang":"en","type":"article","venue":"PROOF","topic":"advanced mathematical theories","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Taylor series; Series (stratigraphy); Convergence (economics); Mathematics; Function series; Representation (politics); Applied mathematics; Convergent series; Polynomial; Function (biology); Computation; Taylor's theorem; Mathematical analysis; Algorithm; Power series","score_opus":0.036612191506607834,"score_gpt":0.30953825399011464,"score_spread":0.2729260624835068,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4281732905","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.011243369,0.0123622175,0.85955334,0.0026393803,0.005333701,0.00009523728,0.00020946936,0.00035137107,0.108212],"genre_scores_gemma":[0.34494212,0.04261338,0.5386301,0.0027100604,0.0077838604,0.00044755617,0.00057715387,0.0011612566,0.061134454],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99942243,0.00019895988,0.000035786503,0.00007561559,0.00023730539,0.000029983266],"domain_scores_gemma":[0.9985435,0.0008119563,0.00011385553,0.00017468464,0.00029647633,0.000059521604],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0024088454,0.0014283614,0.00067216065,0.0016336334,0.00077397836,0.0013699105,0.0012202413,0.0010516288,0.0061000595],"category_scores_gemma":[0.008244679,0.00034063534,0.00094902806,0.0014592515,0.0023376478,0.0037336673,0.0015083819,0.0041121882,0.0021357639],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000023414044,0.000016454229,0.00011426204,0.00026462917,0.000012147591,0.0002482938,0.0002293952,0.0026689288,0.002587361,0.9652905,0.0069211754,0.021623457],"study_design_scores_gemma":[0.000008853454,0.000080498045,0.0003877006,0.00013645244,0.000026990609,0.0007395868,0.00007962154,0.037811168,0.0034308038,0.8946093,0.06264434,0.000044673136],"about_ca_topic_score_codex":0.0012239703,"about_ca_topic_score_gemma":0.0011473239,"teacher_disagreement_score":0.0061000595,"about_ca_system_score_codex":0.0007228788,"about_ca_system_score_gemma":0.000777426,"threshold_uncertainty_score":0.020406723},"labels":[],"label_agreement":null},{"id":"W4293187703","doi":"10.37394/232020.2022.2.13","title":"The Sigmoid Neural Network Activation Function and its Connections to Airy’s and the Nield-Kuznetsov Functions","year":2022,"lang":"en","type":"article","venue":"PROOF","topic":"Algebraic and Geometric Analysis","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Sigmoid function; Airy function; Activation function; Boundary value problem; Function (biology); Artificial neural network; Mathematical analysis; Mathematics; Applied mathematics; Physics; Computer science; Artificial intelligence","score_opus":0.024321177864376837,"score_gpt":0.25231756530782895,"score_spread":0.2279963874434521,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4293187703","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.085766606,0.0035159437,0.845938,0.0022674305,0.00048337682,0.00006106121,0.00017387902,0.00013379187,0.06165998],"genre_scores_gemma":[0.8698998,0.004037525,0.09438832,0.0002643549,0.00041294034,0.00011690371,0.00012108244,0.00011751548,0.03064162],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9998252,0.00006149389,0.000011017111,0.00003078396,0.00004830519,0.000023304729],"domain_scores_gemma":[0.99955124,0.00018102914,0.00006039587,0.00003567535,0.00012622574,0.000045389592],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006979855,0.0005347925,0.0003687747,0.0007895823,0.00038147808,0.00071184296,0.00045820195,0.0005967055,0.0035000641],"category_scores_gemma":[0.0036195233,0.0001977689,0.00041223795,0.00060510455,0.0015714203,0.0013262661,0.0010341125,0.0016406017,0.0006466749],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000042253676,0.0000119067445,0.00043140198,0.00010364446,0.000009896639,0.00011080545,0.00013463132,0.037387967,0.0034405913,0.9315037,0.0014884965,0.025334667],"study_design_scores_gemma":[0.000008505599,0.0000339218,0.0008812687,0.000047933216,0.0000094351535,0.00016895936,0.000052695013,0.3788537,0.0024311221,0.6099762,0.007511267,0.000024957706],"about_ca_topic_score_codex":0.0018744923,"about_ca_topic_score_gemma":0.0011205102,"teacher_disagreement_score":0.0035000641,"about_ca_system_score_codex":0.0006772604,"about_ca_system_score_gemma":0.00062835927,"threshold_uncertainty_score":0.011708915},"labels":[],"label_agreement":null},{"id":"W4406303734","doi":"10.37394/232020.2024.4.16","title":"A Note on Bivariate bi-periodic Mersenne Polynomials","year":2024,"lang":"en","type":"article","venue":"PROOF","topic":"Advanced Mathematical Theories and Applications","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mersenne prime; Bivariate analysis; Mathematics; Combinatorics; Pure mathematics; Statistics","score_opus":0.012841087298159524,"score_gpt":0.29779493364827764,"score_spread":0.2849538463501181,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4406303734","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.51213956,0.009070572,0.24692059,0.0059835096,0.0020902504,0.0000426285,0.0003533213,0.0002547119,0.2231449],"genre_scores_gemma":[0.93705213,0.0034194868,0.03439285,0.0006791226,0.00082115555,0.000024193128,0.00009128467,0.000072452036,0.02344735],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9998542,0.00003190223,0.000006603827,0.000028447153,0.000050277973,0.00002861102],"domain_scores_gemma":[0.9996598,0.000120994344,0.000043019223,0.00004366173,0.00007534163,0.00005723561],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00040219567,0.00028190878,0.00027376343,0.0006756162,0.00057292514,0.00065663405,0.0003145804,0.0003721994,0.0026975626],"category_scores_gemma":[0.0014711252,0.00016010067,0.00023121285,0.0006813032,0.0010508973,0.0013196196,0.0009101918,0.0017474022,0.0004167588],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000024524608,0.000009311084,0.00038138853,0.000045775025,0.0000030124713,0.0002443483,0.00019274175,0.001342695,0.0046174186,0.97956264,0.0017963597,0.011779696],"study_design_scores_gemma":[0.0000104543105,0.000079508274,0.0017078748,0.000045728484,0.000009593671,0.0011277947,0.00015673193,0.02256236,0.002815345,0.925179,0.046264537,0.00004104274],"about_ca_topic_score_codex":0.0008085893,"about_ca_topic_score_gemma":0.0008827039,"teacher_disagreement_score":0.0026975626,"about_ca_system_score_codex":0.00042179797,"about_ca_system_score_gemma":0.00023483225,"threshold_uncertainty_score":0.009024203},"labels":[],"label_agreement":null},{"id":"W4412687563","doi":"10.37394/232020.2025.5.8","title":"On the Modified Standard Nield-Kuznetsov Functions","year":2025,"lang":"en","type":"article","venue":"PROOF","topic":"Mathematical Analysis and Transform Methods","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Computer science","score_opus":0.06744060341896131,"score_gpt":0.3598484184583621,"score_spread":0.2924078150394008,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4412687563","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.20968495,0.0026666014,0.64598674,0.0018571513,0.00071255903,0.00015001687,0.00026638576,0.00024012051,0.13843553],"genre_scores_gemma":[0.82886606,0.0045394767,0.107903264,0.00062848406,0.00071648957,0.00024136827,0.0002631326,0.00043963236,0.056402102],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99962485,0.00013870132,0.000019113937,0.000041675285,0.00012603488,0.000049581562],"domain_scores_gemma":[0.9994061,0.00020236726,0.00009301416,0.0000655502,0.00017250804,0.000060475453],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011496323,0.0012573573,0.0005357042,0.002294614,0.0007223626,0.0015750838,0.0010071549,0.0008229869,0.005600524],"category_scores_gemma":[0.0043966193,0.00031801045,0.0008431612,0.0009919178,0.0023486542,0.003253617,0.0014384305,0.00195622,0.0016532321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000012466338,0.000008590882,0.00007366059,0.000037414768,0.000003853114,0.00007055431,0.00010391257,0.0036344132,0.001745467,0.98869866,0.00061559,0.00499537],"study_design_scores_gemma":[0.00001622236,0.00003200906,0.00033751014,0.000055257922,0.000008193149,0.00033131274,0.00013434805,0.09138868,0.0020993897,0.89639217,0.009173706,0.000031221236],"about_ca_topic_score_codex":0.0009948394,"about_ca_topic_score_gemma":0.00059423153,"teacher_disagreement_score":0.005600524,"about_ca_system_score_codex":0.0010112311,"about_ca_system_score_gemma":0.0007678348,"threshold_uncertainty_score":0.018735588},"labels":[],"label_agreement":null}]}