{"meta":{"query_hash":"09a7a0928e3c","filters":{"venue":"Starting AI Researchers' Symposium"},"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/09a7a0928e3c","api":"https://metacan.xera.ac/api/v1/cohort?venue=Starting+AI+Researchers%27+Symposium"},"results":[{"id":"W123417488","doi":"","title":"The Two-Variable Situation Calculus","year":2006,"lang":"en","type":"article","venue":"Starting AI Researchers' Symposium","topic":"Semantic Web and Ontologies","field":"Computer Science","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":"Toronto Metropolitan University; University of Toronto","funders":"","keywords":"Situation calculus; Axiom; Decidability; Operator (biology); Calculus (dental); Computer science; Natural deduction; Proof calculus; Variable (mathematics); Fragment (logic); Sequent calculus; Projection (relational algebra); Mathematics; Theoretical computer science; Algebra over a field; Artificial intelligence; Algorithm; Programming language; Mathematical proof; Pure mathematics","score_opus":0.0263870906922857,"score_gpt":0.30913978208541726,"score_spread":0.2827526913931316,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W123417488","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.044776645,0.00061020436,0.89078945,0.0021639618,0.00044624842,0.00025559036,0.0004786533,0.0012552328,0.059223972],"genre_scores_gemma":[0.59854275,0.00044962252,0.38015217,0.00062583084,0.00019240544,0.00035688415,0.00048351905,0.00020573227,0.018991016],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.997693,0.000615102,0.00013130392,0.00048365718,0.00067237066,0.00040454045],"domain_scores_gemma":[0.9987948,0.00044064407,0.00008861353,0.00026022323,0.00026145356,0.00015430647],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0022710057,0.0007075024,0.00066881574,0.00090046856,0.0017758235,0.0035121324,0.0021800606,0.0012830946,0.005917949],"category_scores_gemma":[0.002628962,0.00047692735,0.0018251959,0.0010862605,0.0045044995,0.0057610744,0.0027969463,0.0032528113,0.0008012212],"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.000027942304,0.000019009149,0.000095773656,0.000033754714,0.000015018684,0.00022668662,0.00028514824,0.004201649,0.0011548202,0.98884565,0.0006230587,0.004471513],"study_design_scores_gemma":[0.000056663037,0.000044309712,0.00023350368,0.00002895492,0.0000513593,0.00023368142,0.000162508,0.048964538,0.0025753754,0.9142925,0.033293296,0.00006322678],"about_ca_topic_score_codex":0.00554234,"about_ca_topic_score_gemma":0.0033545992,"teacher_disagreement_score":0.005917949,"about_ca_system_score_codex":0.0021952624,"about_ca_system_score_gemma":0.0017523293,"threshold_uncertainty_score":0.019797444},"labels":[],"label_agreement":null}]}