{"meta":{"query_hash":"fc6a29a80e19","filters":{"venue":"ISAIM"},"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/fc6a29a80e19","api":"https://metacan.xera.ac/api/v1/cohort?venue=ISAIM"},"results":[{"id":"W2399132844","doi":"","title":"On Resolution Like Proofs of Monotone Self-Dual Functions.","year":2014,"lang":"en","type":"article","venue":"ISAIM","topic":"Complexity and Algorithms in Graphs","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":"University of Lethbridge","funders":"","keywords":"Mathematical proof; Monotone polygon; Mathematics; Resolution (logic); Discrete mathematics; Boolean function; Class (philosophy); Duality (order theory); Dual (grammatical number); Combinatorics; Computer science","score_opus":0.012318350108671175,"score_gpt":0.22259884430323376,"score_spread":0.21028049419456257,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2399132844","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.13831185,0.0016199332,0.8298184,0.004784038,0.00021041415,0.0006483414,0.0009774511,0.0018569756,0.02177253],"genre_scores_gemma":[0.5491782,0.0014693887,0.43623376,0.0014194894,0.00037989518,0.0005040469,0.0018988266,0.0007262232,0.008190244],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9893215,0.004611415,0.0006118586,0.0014973257,0.0026908794,0.0012671726],"domain_scores_gemma":[0.8862691,0.09544389,0.005363214,0.009035413,0.00251334,0.0013750418],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007957894,0.0012184881,0.0014378607,0.0020389073,0.0019068533,0.00626434,0.004165283,0.0022305355,0.015099069],"category_scores_gemma":[0.05262461,0.0013191829,0.0031523006,0.0025951983,0.0039410954,0.02252718,0.0055672023,0.006094575,0.001695984],"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.0008057467,0.00060578086,0.0036990559,0.0015103774,0.0003627674,0.00052631774,0.0011621389,0.04967888,0.019526388,0.8188559,0.007908236,0.0953583],"study_design_scores_gemma":[0.00012214828,0.00018923263,0.0008697291,0.00010825579,0.00014865524,0.00067057833,0.00019987921,0.1264797,0.012417063,0.85219777,0.006517316,0.00007957139],"about_ca_topic_score_codex":0.000825942,"about_ca_topic_score_gemma":0.0014260114,"teacher_disagreement_score":0.015099069,"about_ca_system_score_codex":0.003320291,"about_ca_system_score_gemma":0.0025362931,"threshold_uncertainty_score":0.05051142},"labels":[],"label_agreement":null}]}