{"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":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.15770964,0.000224132,0.83629596,0.00021243295,0.00009104986,0.0009284192,0.000008400154,0.00024569244,0.0042842757],"genre_scores_gemma":[0.9546173,8.585318e-7,0.045032863,0.000094251,0.000032443906,0.00012899339,0.000005278887,0.0000099576355,0.000078010235],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9972105,0.0009966011,0.00042615752,0.00062193937,0.00044873316,0.00029608907],"domain_scores_gemma":[0.9982092,0.0003402806,0.00016911792,0.0009861569,0.00019559357,0.00009970186],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003080318,0.00015186204,0.00029694807,0.00006229792,0.00021143569,0.00004147036,0.0009543971,0.000041197072,0.00008392158],"category_scores_gemma":[0.00019080554,0.00013602982,0.00011130757,0.0005339027,0.00013018795,0.00026563986,0.001002681,0.0003260211,0.0000030640665],"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.00009851503,0.0016519557,0.000108782726,0.00023399848,0.000027609536,0.0000068207223,0.0014275787,0.0050517963,0.00013331792,0.56743985,0.00009345744,0.42372632],"study_design_scores_gemma":[0.00014658672,0.00018061389,0.00029611666,0.000018701166,0.0000065465033,0.000011021456,0.000010498231,0.40463063,0.0003290571,0.59423584,0.000037281126,0.00009711362],"about_ca_topic_score_codex":0.0000014293937,"about_ca_topic_score_gemma":6.9327166e-7,"teacher_disagreement_score":0.7969077,"about_ca_system_score_codex":0.00008262283,"about_ca_system_score_gemma":0.000117642245,"threshold_uncertainty_score":0.5547135},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.67833287,0.0010264982,0.306102,0.004784074,0.00086374884,0.003205813,0.000027525219,0.0003779635,0.005279534],"genre_scores_gemma":[0.99492854,0.0000011518331,0.004146815,0.00031468546,0.0000408474,0.00016975943,0.0000033998049,0.000006709634,0.0003881189],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99751836,0.0010792543,0.00033124548,0.0004840373,0.00035597847,0.0002310984],"domain_scores_gemma":[0.99841493,0.0002223063,0.0001101845,0.000999398,0.00020859855,0.000044592784],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0019648727,0.00012413046,0.00017867125,0.000039534294,0.0008511788,0.000041502488,0.0011596847,0.000029604886,0.00008227005],"category_scores_gemma":[0.00037001385,0.00009048041,0.00013408596,0.0009050969,0.00015579317,0.00012098744,0.0020108866,0.0003584572,0.0000019364986],"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.00006359972,0.0016196298,0.0037910156,0.0001426521,0.00007223535,0.0000024185094,0.0039166636,0.008593895,0.0010326889,0.5246952,0.001665372,0.45440462],"study_design_scores_gemma":[0.0005828162,0.00042242405,0.03537318,0.00007342669,0.000033170807,0.000024484574,0.00004109974,0.1702829,0.0037116115,0.7859544,0.0031426444,0.00035780948],"about_ca_topic_score_codex":0.0000048635843,"about_ca_topic_score_gemma":0.0000088515835,"teacher_disagreement_score":0.45404682,"about_ca_system_score_codex":0.00009179851,"about_ca_system_score_gemma":0.00020978424,"threshold_uncertainty_score":0.65466654},"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":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.007331957,0.00038803133,0.98052526,0.00008211852,0.00018990041,0.000034438894,2.1528528e-7,0.000048590642,0.011399507],"genre_scores_gemma":[0.96831656,0.000008660587,0.031378005,0.00003753085,0.000030825126,0.0000032088562,5.307757e-7,0.000002188607,0.00022250354],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9996253,0.000009244046,0.00007279582,0.00010222106,0.00007626239,0.00011413536],"domain_scores_gemma":[0.9997321,0.00003359066,0.000018403802,0.00014557931,0.000054178992,0.000016170869],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000110669236,0.000038533748,0.00005465494,0.000021606875,0.000022486709,0.000020673247,0.00015345548,0.000010325182,0.0000045215966],"category_scores_gemma":[0.000011719552,0.000036725014,0.000025218202,0.0001690734,0.0000067799015,0.00008452444,0.0003044454,0.00003682779,0.000002599525],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"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.0000016196885,0.000028887227,0.00019464531,0.00006276299,0.000025221398,0.00002677709,0.0002767623,0.0010897742,0.00013481257,0.43393147,0.00009502451,0.5641323],"study_design_scores_gemma":[0.0008212429,0.00011736519,0.01399714,0.00040873708,0.000025508534,0.00005417848,0.000093788,0.7192317,0.19719602,0.053458136,0.014134667,0.00046146248],"about_ca_topic_score_codex":2.2309474e-7,"about_ca_topic_score_gemma":2.2993792e-7,"teacher_disagreement_score":0.9609846,"about_ca_system_score_codex":0.000004298695,"about_ca_system_score_gemma":0.00000840257,"threshold_uncertainty_score":0.14976026},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9438953,0.000075338976,0.015477499,0.002129288,0.0010812605,0.002276532,0.00012187333,0.00007351336,0.03486943],"genre_scores_gemma":[0.9929235,3.908572e-7,0.0018480583,0.000076996446,0.000030312714,0.00010424546,9.840631e-7,0.000018109351,0.0049974076],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9989216,0.00015708416,0.00030449065,0.00013316076,0.00037914462,0.000104555926],"domain_scores_gemma":[0.9985285,0.00048032313,0.0003512524,0.0005682982,0.000058661495,0.000012996113],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00027412153,0.00009005199,0.00018684554,0.000024218725,0.00015683936,0.0000054813363,0.00024795046,0.000028458115,0.0006246345],"category_scores_gemma":[0.00085144374,0.00005277695,0.00010988275,0.00027862337,0.00013367707,0.00007964217,0.0002536429,0.00018482911,0.0000018031287],"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.00038914342,0.00032343218,0.00025747533,0.00063947745,0.00006394601,5.126586e-7,0.0049406183,0.00044395702,0.023530401,0.96404105,0.0011344881,0.004235484],"study_design_scores_gemma":[0.00017267746,0.00010597588,0.00023486982,0.000023784065,0.000027716776,0.0000036272972,0.00053389295,0.000071736635,0.23060276,0.766866,0.0013082464,0.00004867893],"about_ca_topic_score_codex":0.0000014156008,"about_ca_topic_score_gemma":0.000012769393,"teacher_disagreement_score":0.20707236,"about_ca_system_score_codex":0.000033276734,"about_ca_system_score_gemma":0.000022688922,"threshold_uncertainty_score":0.683931},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8052376,0.005168484,0.123080626,0.056070518,0.0013477172,0.0028867077,0.000017312801,0.00027222838,0.0059187966],"genre_scores_gemma":[0.99287796,0.000025769259,0.000052902542,0.0005578194,0.00019861493,0.0003306369,0.0000050080253,0.000011775727,0.00593953],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99905574,0.00017410686,0.0001888366,0.00018734229,0.00021547364,0.00017849045],"domain_scores_gemma":[0.99823964,0.0013562454,0.00010301237,0.00018709183,0.000065007065,0.000049036407],"candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.00076015946,0.00009736781,0.00013564201,0.000075607124,0.0021238616,0.00006769605,0.000088105284,0.000027806012,0.00014411475],"category_scores_gemma":[0.00057975866,0.000059036975,0.00005425178,0.00091585575,0.000053347583,0.00008112561,0.00016580663,0.00022451719,0.000004885907],"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.0012496199,0.00022366532,0.004384876,0.000060668437,0.00097184494,0.0000013166089,0.0039940225,0.017691528,0.00010465627,0.73029983,0.13608207,0.104935884],"study_design_scores_gemma":[0.0032397911,0.0008583135,0.013719938,0.000018565173,0.0012349745,0.000065768465,0.010694919,0.0854214,0.00008426719,0.6722514,0.21177302,0.00063761615],"about_ca_topic_score_codex":0.000026598369,"about_ca_topic_score_gemma":0.000049547496,"teacher_disagreement_score":0.18764034,"about_ca_system_score_codex":0.000032672062,"about_ca_system_score_gemma":0.000017638677,"threshold_uncertainty_score":0.99917525},"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":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.014491274,0.00027876193,0.7917816,0.0049990346,0.00038835398,0.00075494713,0.00017063403,0.00027525876,0.18686013],"genre_scores_gemma":[0.99325687,0.0000015287599,0.00363745,0.00005706439,0.00033655495,0.00011860666,0.000010008611,0.00001818173,0.002563758],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99949515,0.000008082347,0.000120843935,0.0001692267,0.00006009817,0.00014658377],"domain_scores_gemma":[0.99966204,0.00008672579,0.0000206906,0.00017033427,0.000010232286,0.000049946026],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000062341685,0.00008805826,0.00010592485,0.000025082101,0.00007426397,0.00005638219,0.0000712117,0.00001564196,0.00069562346],"category_scores_gemma":[0.000005378839,0.00006730769,0.00006413346,0.0001293878,0.000035141857,0.000048488488,0.000026620713,0.000088551955,0.0005636314],"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.0000040441746,0.00004405247,0.000003354681,0.0000179037,0.000018602059,5.5754134e-7,0.00016647216,0.000024614723,0.0020948204,0.92156047,0.00032266614,0.075742446],"study_design_scores_gemma":[0.00010085255,0.000028567685,0.0000065625427,0.000054151034,0.000020279007,3.7872854e-7,0.00006457564,0.0012126702,0.014211235,0.85290295,0.13127354,0.0001242168],"about_ca_topic_score_codex":0.000006416006,"about_ca_topic_score_gemma":1.8080989e-7,"teacher_disagreement_score":0.97876555,"about_ca_system_score_codex":0.000010589919,"about_ca_system_score_gemma":0.000020848966,"threshold_uncertainty_score":0.7616589},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.007542627,0.0000439846,0.6926465,0.004919899,0.00007761541,0.00031013356,0.000008110596,0.000056822922,0.2943943],"genre_scores_gemma":[0.96094614,0.0000069675225,0.010723623,0.00066129805,0.000039473343,0.00016108417,0.000002082563,0.000014859382,0.027444484],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99915123,0.00009292863,0.0002464743,0.0001481106,0.00020828685,0.00015298201],"domain_scores_gemma":[0.99818313,0.0013123973,0.000039783154,0.00037389385,0.00005950663,0.00003131686],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007566635,0.00010614254,0.00021640421,0.000057502708,0.00017047838,0.00003972861,0.00015436657,0.000051198258,0.0007839037],"category_scores_gemma":[0.0006811907,0.00005610072,0.00014473627,0.00030055526,0.000040569816,0.000024501633,0.000023810435,0.0001727387,0.000030097763],"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.000023868493,0.000090599635,0.000005536908,0.00008072603,0.00009089609,4.7179762e-7,0.00008557289,0.000012839526,0.0000313308,0.9792125,0.0115815075,0.008784109],"study_design_scores_gemma":[0.00016969001,0.00003721149,0.0000112160005,0.000055727443,0.00011033311,3.5825354e-7,0.000056343913,0.0023235315,0.0028529707,0.9886925,0.0056248843,0.00006519752],"about_ca_topic_score_codex":0.0000030335796,"about_ca_topic_score_gemma":0.000014150139,"teacher_disagreement_score":0.9534035,"about_ca_system_score_codex":0.000019648985,"about_ca_system_score_gemma":0.000028766155,"threshold_uncertainty_score":0.8583196},"labels":[],"label_agreement":null}]}