{"meta":{"query_hash":"b78cecc34742","filters":{"venue":"Reports on Mathematical Logic"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"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/b78cecc34742","api":"https://metacan.xera.ac/api/v1/cohort?venue=Reports+on+Mathematical+Logic"},"results":[{"id":"W1566243009","doi":"10.4467/20842589rm.13.002.1254","title":"Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme","year":2013,"lang":"en","type":"article","venue":"Reports on Mathematical Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Kronecker delta; Mathematics; Arithmetic function; Algebra over a field; Topos theory; Interpretation (philosophy); Realization (probability); Consistency (knowledge bases); Arithmetic; Pure mathematics; Discrete mathematics; Linguistics; Philosophy","score_opus":0.11709526127763818,"score_gpt":0.33246469723314725,"score_spread":0.21536943595550906,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1566243009","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.7159051,0.000091143775,0.011797404,0.0012357277,0.00031780574,0.0034926273,0.00000509906,0.00044147286,0.26671365],"genre_scores_gemma":[0.71492803,0.000004209014,0.26583645,0.0006104586,0.00017861681,0.000859307,0.000027399645,0.00014475235,0.017410768],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9951447,0.00021349442,0.0020625012,0.00072353566,0.0010577154,0.0007980324],"domain_scores_gemma":[0.9959094,0.0016140087,0.0007548711,0.0011460874,0.00020602785,0.00036962662],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0023438206,0.0005912657,0.0010914666,0.0003318354,0.00016912888,0.00017073282,0.00035020974,0.00032047028,0.006408881],"category_scores_gemma":[0.0045089186,0.00046564863,0.00031674094,0.0003348637,0.00035292638,0.00032655968,0.00012249358,0.0005522483,0.0028574998],"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.000015828726,0.0031665678,0.000081212245,0.0005500308,0.000069031004,0.0006856685,0.0010398813,0.000007777701,0.00020638807,0.9899831,0.0026979118,0.0014966001],"study_design_scores_gemma":[0.0004893673,0.00024522407,0.000104448496,0.00037164878,0.0000375571,0.00097388995,0.00040416484,0.0015390676,0.00019516505,0.99281096,0.0022869485,0.0005415664],"about_ca_topic_score_codex":0.000020416965,"about_ca_topic_score_gemma":0.0000050214403,"teacher_disagreement_score":0.25403905,"about_ca_system_score_codex":0.00025135226,"about_ca_system_score_gemma":0.00021392704,"threshold_uncertainty_score":0.9997795},"labels":[],"label_agreement":null}]}