{"meta":{"query_hash":"46a3bb0a6d2a","filters":{"venue":"Conference on Computational Complexity"},"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/46a3bb0a6d2a","api":"https://metacan.xera.ac/api/v1/cohort?venue=Conference+on+Computational+Complexity"},"results":[{"id":"W2139730493","doi":"10.1109/ccc.2004.36","title":"The Complexity of Treelike Systems over -Local Formulae","year":2004,"lang":"en","type":"article","venue":"Conference on Computational Complexity","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"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 Toronto","funders":"","keywords":"Generalization; Lambda; Sequent; Mathematics; Satisfiability; Sequent calculus; Discrete mathematics; Resolution (logic); Space (punctuation); Cut-elimination theorem; Exponential function; Combinatorics; Computer science; Linear logic; Mathematical proof; Proof calculus; Physics","score_opus":0.12383376920691673,"score_gpt":0.3041765956225064,"score_spread":0.18034282641558963,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2139730493","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.53833854,0.0011649377,0.43233114,0.004392952,0.000088791036,0.00018964102,0.0014697508,0.0011165707,0.020907667],"genre_scores_gemma":[0.92197144,0.0005061841,0.06877266,0.00042174646,0.00015860943,0.00022073048,0.0011627448,0.00028791098,0.0064979056],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99376374,0.0013577989,0.0003682786,0.0011923503,0.0019995729,0.0013182911],"domain_scores_gemma":[0.95912665,0.03195845,0.0026207236,0.0033753766,0.001429418,0.0014893649],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004121566,0.0008480525,0.0012799217,0.0016463138,0.0021273477,0.0076932837,0.0040006144,0.0024884734,0.011352805],"category_scores_gemma":[0.026064474,0.0012756427,0.0018676086,0.0023779857,0.0038219788,0.017726589,0.0050083143,0.0046916427,0.00078742055],"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.0003909742,0.00014212965,0.00367975,0.00049991865,0.00011927064,0.0002950848,0.00096512854,0.0845404,0.0042413366,0.8849068,0.0028972374,0.017322006],"study_design_scores_gemma":[0.000043141925,0.000030526342,0.00057388545,0.000029999013,0.00005380366,0.00011672941,0.000092551985,0.20432566,0.002003914,0.79104,0.0016575691,0.000032150376],"about_ca_topic_score_codex":0.0036089043,"about_ca_topic_score_gemma":0.004266263,"teacher_disagreement_score":0.011352805,"about_ca_system_score_codex":0.0048265415,"about_ca_system_score_gemma":0.0020144007,"threshold_uncertainty_score":0.037978947},"labels":[],"label_agreement":null}]}