{"meta":{"query_hash":"51c108943429","filters":{"venue":"Runtime Verification"},"cohort_total":2,"direct_labels_cover":0,"predictions_cover":2,"exported":2,"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/51c108943429","api":"https://metacan.xera.ac/api/v1/cohort?venue=Runtime+Verification"},"results":[{"id":"W108479562","doi":"","title":"Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors","year":2010,"lang":"en","type":"article","venue":"Runtime Verification","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University; University of Waterloo","funders":"","keywords":"Computer science; State (computer science); Finite-state machine; Finite state; Programming language; Distributed computing; Parallel computing","score_opus":0.02799736163093753,"score_gpt":0.32983242671742213,"score_spread":0.3018350650864846,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W108479562","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.02233956,0.000030647414,0.97485507,0.00067389826,0.00048286538,0.00053020346,0.000007062877,0.00077395537,0.00030674288],"genre_scores_gemma":[0.31461573,0.000009682789,0.68480206,0.00014013468,0.000092425595,0.00009903266,0.000018867726,0.000017653627,0.00020440084],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99831265,0.00008221401,0.0004209801,0.0005235959,0.00032937157,0.0003311998],"domain_scores_gemma":[0.9978158,0.0006098258,0.000264717,0.00082308904,0.00038627815,0.00010028228],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009772546,0.00018404628,0.00018846901,0.00016317483,0.00031774587,0.00032147797,0.0008210752,0.00015606427,0.000024348548],"category_scores_gemma":[0.0010435607,0.00018844454,0.00008663365,0.00048804513,0.000055283323,0.00038389963,0.000102489365,0.0003255202,0.00011783334],"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.000119779936,0.00071116345,0.0013358399,0.0001378658,0.0001313706,0.00000682053,0.0053621316,0.040879864,0.04898327,0.6179094,0.0074960995,0.27692643],"study_design_scores_gemma":[0.0002404012,0.00014179439,0.0015993563,0.00003348382,0.000011940281,0.0000028285683,0.0000091526945,0.9330061,0.0072681606,0.05561089,0.0017972852,0.00027861525],"about_ca_topic_score_codex":0.000010498302,"about_ca_topic_score_gemma":6.775777e-7,"teacher_disagreement_score":0.8921262,"about_ca_system_score_codex":0.00002949009,"about_ca_system_score_gemma":0.00012361395,"threshold_uncertainty_score":0.7684545},"labels":[],"label_agreement":null},{"id":"W1224289729","doi":"","title":"Runtime verification for the web: a tutorial introduction to interface contracts in web applications","year":2010,"lang":"en","type":"article","venue":"Runtime Verification","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Web application; Runtime verification; Web modeling; Web API; Programming language; World Wide Web; Web service; Operating system; Formal verification","score_opus":0.005499363355318848,"score_gpt":0.24578046652042987,"score_spread":0.24028110316511103,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1224289729","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.15477395,0.0001926719,0.78559005,0.047788195,0.00528571,0.005073129,0.00004178723,0.000558212,0.00069628604],"genre_scores_gemma":[0.9756301,0.00002243622,0.019594828,0.000502747,0.002525638,0.0014886116,0.00006704489,0.000024755218,0.00014383934],"study_design_codex":"bench_or_experimental","study_design_gemma":"not_applicable","domain_scores_codex":[0.99815756,0.00006281016,0.00043307085,0.00073352706,0.00028354843,0.00032948845],"domain_scores_gemma":[0.9977792,0.00023191293,0.00020932224,0.0013976945,0.0002842894,0.00009756723],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007342216,0.00020688624,0.00018206732,0.0002609149,0.00030122465,0.00028729028,0.0012934791,0.00013923897,0.000027245776],"category_scores_gemma":[0.00006854795,0.00017553347,0.00006964128,0.0011586823,0.000042916257,0.0005432201,0.000111350724,0.00031688626,0.00030223283],"study_design_candidate":"bench_or_experimental","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.0001245188,0.00026235246,0.00016209,0.000030597086,0.000031702562,1.9781807e-7,0.0023936625,0.001005525,0.8701158,0.07257417,0.002471188,0.050828196],"study_design_scores_gemma":[0.00082133187,0.00008864361,0.007426847,0.000013054076,0.0000311705,0.0000069693406,0.00013355889,0.07538767,0.037847202,0.0010004035,0.87692297,0.00032018],"about_ca_topic_score_codex":0.000094112635,"about_ca_topic_score_gemma":0.0005318626,"teacher_disagreement_score":0.87445176,"about_ca_system_score_codex":0.00006330117,"about_ca_system_score_gemma":0.00014160185,"threshold_uncertainty_score":0.7158047},"labels":[],"label_agreement":null}]}