{"id":"W4398756659","doi":"10.1145/3639478.3640046","title":"(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results","year":2024,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Correctness; Software; Variable (mathematics); Product (mathematics); Software product line; User interface; Programming language; Software development","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":[],"consensus_categories":[],"category_scores_codex":[0.0008876226,0.0001690598,0.0002421428,0.000439168,0.00006843881,0.0003156268,0.0007519171,0.0000763128,0.00002395761],"category_scores_gemma":[0.0004890685,0.0001442558,0.0001312226,0.003323833,0.00002206085,0.0006503655,0.0003042316,0.000181299,0.00006908429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006495998,"about_ca_system_score_gemma":0.00005455065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003840034,"about_ca_topic_score_gemma":0.000004991061,"domain_scores_codex":[0.9983913,0.00009940864,0.0002897218,0.0006473654,0.0002446121,0.0003275897],"domain_scores_gemma":[0.9975112,0.001544797,0.00003007513,0.000774677,0.00005957951,0.00007966776],"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.000009134988,0.00002271168,0.0000493977,0.00009532538,0.0007435516,0.000124016,0.001063765,0.6072505,0.001188633,0.3253517,0.004444456,0.05965674],"study_design_scores_gemma":[0.0001825598,0.00006941083,0.0003818849,0.00007146774,0.0001642732,0.00002204188,0.000069241,0.9168674,0.002590717,0.02958587,0.04940302,0.0005921753],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001452385,0.0005741571,0.9928197,0.0003469451,0.0006198807,0.00005834689,0.000005337589,0.003843396,0.001587014],"genre_scores_gemma":[0.04450839,0.0000353908,0.9532539,0.0001563676,0.00007421152,0.00001074906,0.000007560986,0.0000156201,0.001937808],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3096168,"threshold_uncertainty_score":0.5882583,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03192127136730608,"score_gpt":0.3259014641053,"score_spread":0.2939801927379939,"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."}}