{"id":"W4237865316","doi":"10.1109/icse.2015.238","title":"Mining Temporal Properties of Data Invariants","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","topic":"Software Engineering Research","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Temporal logic; Computer science; Property (philosophy); Linear temporal logic; Field (mathematics); Theoretical computer science; Value (mathematics); Data mining; Programming language; Mathematics; Machine learning","routes":{"ca_aff":true,"ca_fund":true,"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.0009446201,0.0003449976,0.0003636402,0.0005046279,0.00004240068,0.0002565971,0.005984236,0.000137362,0.00002593816],"category_scores_gemma":[0.005065925,0.0003354189,0.00005948563,0.0004280314,0.00006286036,0.001543908,0.001010077,0.0004055946,0.0001031688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001939595,"about_ca_system_score_gemma":0.0005266888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001015537,"about_ca_topic_score_gemma":0.000007409562,"domain_scores_codex":[0.9967788,0.00004853689,0.0005433,0.0007478135,0.001389795,0.0004917368],"domain_scores_gemma":[0.9963432,0.0003516117,0.000162419,0.002026087,0.0007914608,0.000325255],"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.0009788781,0.002458485,0.2494406,0.001894024,0.00323406,0.001408276,0.01802501,0.3382739,0.08340827,0.05702845,0.164444,0.07940603],"study_design_scores_gemma":[0.001998546,0.0004209619,0.004104654,0.001445848,0.00002089081,0.0001162766,0.0001661468,0.9480665,0.03568883,0.0003648816,0.006221408,0.001384999],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2158858,0.0001778519,0.7767297,0.0005873882,0.005117733,0.0003120381,0.0000742156,0.0009323756,0.0001828958],"genre_scores_gemma":[0.8654921,0.00001486216,0.1338028,0.00004436286,0.0002868951,0.00003147988,0.00003093691,0.00004362019,0.0002528878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6496063,"threshold_uncertainty_score":0.9999098,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2543589862944931,"score_gpt":0.3511994581912674,"score_spread":0.0968404718967743,"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."}}