{"id":"W4387793311","doi":"10.1145/3618305.3623601","title":"An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver","year":2023,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Maximum satisfiability problem; Computer science; Solver; Code (set theory); Parallel computing; Algorithm; Computational science; Programming language; Boolean function","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.001631717,0.0009644341,0.0009621964,0.0008001248,0.0006826093,0.001544716,0.003264343,0.00130671,0.006221817],"category_scores_gemma":[0.004403973,0.0007268275,0.001180864,0.001208354,0.001323175,0.002067438,0.002267402,0.002326184,0.0008028777],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001714961,"about_ca_system_score_gemma":0.003072823,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004218556,"about_ca_topic_score_gemma":0.005862389,"domain_scores_codex":[0.9986342,0.0003765112,0.00004922929,0.0002959826,0.000461206,0.0001828666],"domain_scores_gemma":[0.9986847,0.0007823794,0.00009156371,0.0001716492,0.000201571,0.00006817051],"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.0001481639,0.0001191884,0.0005141996,0.0001453935,0.00003858086,0.0001514331,0.000119201,0.7528281,0.003436154,0.1537846,0.004737006,0.08397802],"study_design_scores_gemma":[0.00002461807,0.00002852684,0.00003679707,0.000007894679,0.000008422954,0.00002546947,0.00001981016,0.9501924,0.001076502,0.04666129,0.001912528,0.00000568512],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00809885,0.0001418175,0.9852964,0.0003066656,0.0000374543,0.00007299845,0.0001091329,0.0009483001,0.004988419],"genre_scores_gemma":[0.1884865,0.0001510684,0.8067945,0.0002021154,0.00004608792,0.000182078,0.0004002883,0.0004245052,0.003312828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006221817,"threshold_uncertainty_score":0.02081412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01184663430057965,"score_gpt":0.2588016457804008,"score_spread":0.2469550114798212,"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."}}