{"id":"W3178404199","doi":"10.36227/techrxiv.14870187.v1","title":"Software Product Line Analysis Using Variability-aware Datalog","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Datalog; Computer science; Programming language; Software product line; Java; Software; Product (mathematics); Pointer (user interface); Inference; Cartesian product; Lift (data mining); Set (abstract data type); Class (philosophy); Theoretical computer science; Data mining; Software development; Artificial intelligence; Mathematics; Discrete mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.00198321,0.0005747013,0.001146582,0.0005081684,0.0001214354,0.0004702446,0.002810598,0.0003287018,0.00005172336],"category_scores_gemma":[0.007397729,0.0005574214,0.0004635843,0.002114705,0.00008113205,0.000605139,0.008792744,0.001086065,0.000004851086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002995637,"about_ca_system_score_gemma":0.0005305743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001004926,"about_ca_topic_score_gemma":0.00002146231,"domain_scores_codex":[0.995307,0.0006130867,0.0006631548,0.002353687,0.0005138505,0.00054924],"domain_scores_gemma":[0.9920591,0.001666817,0.0002823792,0.005335711,0.0005107946,0.0001451944],"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.000001443939,0.00005070767,0.0008157248,0.0002359722,0.000618629,0.00005121421,0.000202735,0.987298,0.00009816245,0.0002435998,0.00002466094,0.01035922],"study_design_scores_gemma":[0.0002460166,0.00004360715,0.002886472,0.0002522821,0.001445055,0.00005880089,0.00007898728,0.9499707,0.007034491,0.03500138,0.0002831261,0.002699061],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002507713,0.0004401053,0.9924193,0.0001235239,0.001775127,0.000322539,0.00005377322,0.00233798,0.00001996648],"genre_scores_gemma":[0.02697904,0.00003770244,0.9721285,0.00008165842,0.0002039513,0.00003380872,0.0003490832,0.0000367512,0.0001495741],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03732721,"threshold_uncertainty_score":0.9996877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08456199291468679,"score_gpt":0.3397199496481355,"score_spread":0.2551579567334487,"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."}}