{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001937,0.001738341,0.0006992685,0.002861558,0.0005614525,0.002923419,0.001526578,0.001392334,0.03641253],"category_scores_gemma":[0.005600293,0.000663249,0.001242902,0.001478757,0.0004782088,0.003130251,0.002926025,0.001421699,0.008730937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006561695,"about_ca_system_score_gemma":0.00130719,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009682746,"about_ca_topic_score_gemma":0.01889301,"domain_scores_codex":[0.9994354,0.0001187441,0.00005322132,0.00009787145,0.0002435399,0.00005119871],"domain_scores_gemma":[0.9971475,0.001262053,0.0001492887,0.0003754254,0.0008574459,0.000208323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002102919,0.0004349408,0.01071962,0.002034044,0.0002926356,0.001630507,0.005242801,0.004789786,0.03343628,0.0228552,0.7221224,0.1943388],"study_design_scores_gemma":[0.0006165289,0.0002729522,0.01749913,0.001135617,0.000322937,0.001945095,0.002053385,0.1257028,0.04064137,0.04351459,0.7659075,0.0003881439],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0254785,0.001345702,0.4726109,0.001475421,0.0005087368,0.0004190305,0.05660852,0.3821591,0.0593941],"genre_scores_gemma":[0.2009064,0.001564353,0.6271973,0.001289171,0.0001614966,0.0009345834,0.0599245,0.06640535,0.04161693],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03641253,"threshold_uncertainty_score":0.121812,"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."}}