{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":2,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":2,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"51c108943429","filters":{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02799736163093753,"gpt":0.3298324267174221,"spread":0.3018350650864846,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009772546,0.0001840463,0.000188469,0.0001631748,0.0003177459,0.000321478,0.0008210752,0.0001560643,0.00002434855],"category_scores_gemma":[0.001043561,0.0001884445,0.00008663365,0.0004880451,0.00005528332,0.0003838996,0.0001024894,0.0003255202,0.0001178333],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002949009,"about_ca_system_score_gemma":0.000123614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000104983,"about_ca_topic_score_gemma":6.775777e-7,"domain_scores_codex":[0.9983127,0.00008221401,0.0004209801,0.0005235959,0.0003293716,0.0003311998],"domain_scores_gemma":[0.9978158,0.0006098258,0.000264717,0.000823089,0.0003862781,0.0001002823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001197799,0.0007111634,0.00133584,0.0001378658,0.0001313706,0.00000682053,0.005362132,0.04087986,0.04898327,0.6179094,0.007496099,0.2769264],"study_design_scores_gemma":[0.0002404012,0.0001417944,0.001599356,0.00003348382,0.00001194028,0.000002828568,0.000009152694,0.9330061,0.007268161,0.05561089,0.001797285,0.0002786152],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02233956,0.00003064741,0.9748551,0.0006738983,0.0004828654,0.0005302035,0.000007062877,0.0007739554,0.0003067429],"genre_scores_gemma":[0.3146157,0.000009682789,0.6848021,0.0001401347,0.00009242559,0.00009903266,0.00001886773,0.00001765363,0.0002044008],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8921262,"threshold_uncertainty_score":0.7684545,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.005499363355318848,"gpt":0.2457804665204299,"spread":0.240281103165111,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007342216,0.0002068862,0.0001820673,0.0002609149,0.0003012246,0.0002872903,0.001293479,0.000139239,0.00002724578],"category_scores_gemma":[0.00006854795,0.0001755335,0.00006964128,0.001158682,0.00004291626,0.0005432201,0.0001113507,0.0003168863,0.0003022328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006330117,"about_ca_system_score_gemma":0.0001416018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009411263,"about_ca_topic_score_gemma":0.0005318626,"domain_scores_codex":[0.9981576,0.00006281016,0.0004330708,0.0007335271,0.0002835484,0.0003294885],"domain_scores_gemma":[0.9977792,0.0002319129,0.0002093222,0.001397694,0.0002842894,0.00009756723],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001245188,0.0002623525,0.00016209,0.00003059709,0.00003170256,1.978181e-7,0.002393662,0.001005525,0.8701158,0.07257417,0.002471188,0.0508282],"study_design_scores_gemma":[0.0008213319,0.00008864361,0.007426847,0.00001305408,0.0000311705,0.000006969341,0.0001335589,0.07538767,0.0378472,0.001000404,0.876923,0.00032018],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.154774,0.0001926719,0.7855901,0.0477882,0.00528571,0.005073129,0.00004178723,0.000558212,0.000696286],"genre_scores_gemma":[0.9756301,0.00002243622,0.01959483,0.000502747,0.002525638,0.001488612,0.00006704489,0.00002475522,0.0001438393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8744518,"threshold_uncertainty_score":0.7158047,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}