{"id":"W4401863515","doi":"10.1145/3637528.3671627","title":"GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection","year":2024,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Huawei Technologies (Canada)","funders":"","keywords":"Computer science; Solver; Artificial neural network; Selection (genetic algorithm); Artificial intelligence; Graph; Knowledge graph; Boolean satisfiability problem; Machine learning; Theoretical computer science; Programming language","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.00116174,0.001794751,0.0007987361,0.001577654,0.0004778883,0.0009656142,0.002546848,0.001591878,0.005089865],"category_scores_gemma":[0.006159763,0.0005384283,0.0008817561,0.001513642,0.0005917854,0.002400122,0.001508062,0.002016352,0.001260506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00131596,"about_ca_system_score_gemma":0.001216172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007966327,"about_ca_topic_score_gemma":0.02101204,"domain_scores_codex":[0.9990906,0.0002936927,0.00003603018,0.0002727929,0.0002116979,0.00009526334],"domain_scores_gemma":[0.9982336,0.001036169,0.0001471895,0.000250095,0.0002544791,0.00007844823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000261745,0.0002456632,0.002515037,0.0002436411,0.0001397784,0.0001366075,0.00006389221,0.6342694,0.003516053,0.008413078,0.02023057,0.3299645],"study_design_scores_gemma":[0.00001632748,0.00002338906,0.0001183354,0.000006805442,0.00001147101,0.00001088249,0.000009218746,0.9921112,0.0006078526,0.006390437,0.0006899911,0.000004058359],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08063603,0.001375918,0.8888014,0.001180642,0.0002766658,0.0003731018,0.001745324,0.01526235,0.01034855],"genre_scores_gemma":[0.5568135,0.0004390388,0.426884,0.001096762,0.0001697027,0.0003650018,0.006263196,0.0008602988,0.007108392],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007966327,"threshold_uncertainty_score":0.01702732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02044174882200426,"score_gpt":0.284823775525154,"score_spread":0.2643820267031498,"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."}}