{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"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":"882b0cc821c3","filters":{"venue":"International Conference on Formal Methods and Models for Co-Design"}},"results":[{"id":"W2113201355","doi":"10.5555/823453.823837","title":"Bridging CSP and C++ with selective formalism and executable specifications","year":2003,"lang":"en","type":"article","venue":"International Conference on Formal Methods and Models for Co-Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Communicating sequential processes; Programming language; Executable; Formal specification; Formalism (music); Formal methods; Specification language; Language Of Temporal Ordering Specification; Formal verification; Concurrency; Inter-process communication; Semantics (computer science); Operational semantics; Distributed computing","retraction":null,"screen_n_in":null,"score":{"opus":0.2204781045556363,"gpt":0.3901348550870173,"spread":0.169656750531381,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002118477,0.0002238634,0.000222514,0.0002019596,0.0003331074,0.0003764348,0.000313605,0.00008455905,0.000005383427],"category_scores_gemma":[0.0001479078,0.0001921634,0.00002925066,0.0001323981,0.0001293377,0.00202877,0.00006681867,0.0001706506,8.994901e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004859467,"about_ca_system_score_gemma":0.000103783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001243875,"about_ca_topic_score_gemma":9.462062e-7,"domain_scores_codex":[0.9983507,0.0002948928,0.0002868411,0.0005024662,0.0002383755,0.0003266684],"domain_scores_gemma":[0.9987647,0.0003417743,0.0001773123,0.0002455697,0.0003351251,0.0001355287],"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.0001138363,0.00002686263,0.00001077024,0.0000112034,0.00003392126,6.288128e-7,0.0006830315,0.001025293,0.001163947,0.9184403,0.00004098242,0.07844926],"study_design_scores_gemma":[0.0006047528,0.0004514784,0.0001030327,0.00003683949,0.00001369522,0.00009675122,0.0001178021,0.8168884,0.01788831,0.1624869,0.001070218,0.0002417968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000530454,0.00008990542,0.9860019,0.0002797027,0.0001382718,0.0006300559,0.0000126992,0.00006607364,0.01225093],"genre_scores_gemma":[0.2032003,0.0001899105,0.7960677,0.0001304919,0.00002172937,0.0001612807,0.000004094354,0.00001312503,0.0002114428],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8158631,"threshold_uncertainty_score":0.7836196,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}