{"id":"W4384026563","doi":"10.1109/icse-companion58688.2023.00078","title":"Graph Solver as a Service","year":2023,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Scalability; Solver; Graph; Theoretical computer science; Satisfiability modulo theories; Graph rewriting; Programming language; Database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004434218,0.001627301,0.001330907,0.001582148,0.001018929,0.004920247,0.004770113,0.00294539,0.06222304],"category_scores_gemma":[0.0251972,0.001020124,0.002355001,0.001806121,0.001568733,0.007837405,0.006300363,0.004361906,0.0180982],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001745604,"about_ca_system_score_gemma":0.004996442,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004956414,"about_ca_topic_score_gemma":0.007513023,"domain_scores_codex":[0.9947035,0.001946952,0.0003509782,0.0008036254,0.001790952,0.0004039085],"domain_scores_gemma":[0.9894587,0.00567942,0.0003624935,0.002694601,0.001430175,0.0003745892],"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.0003419836,0.0001942903,0.000883941,0.001121699,0.0001811999,0.0005381292,0.0004627612,0.04881411,0.006907545,0.5585854,0.1199557,0.2620132],"study_design_scores_gemma":[0.0001822026,0.00004985456,0.0001107328,0.0001641752,0.00005283916,0.000302805,0.0001732824,0.3521229,0.007809152,0.4064765,0.2324963,0.00005923674],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001012343,0.0001900728,0.9532613,0.001246403,0.000226173,0.0002127243,0.001089842,0.03281163,0.00994943],"genre_scores_gemma":[0.067761,0.0008841911,0.8928058,0.001638242,0.0002124817,0.0005976335,0.0072712,0.01274447,0.01608494],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.06222304,"threshold_uncertainty_score":0.2081568,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01676427735834829,"score_gpt":0.2464487623811294,"score_spread":0.2296844850227811,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}