{"id":"W4366748161","doi":"10.1016/j.simpa.2023.100505","title":"A tool for declarative Trace Alignment via automated planning","year":2023,"lang":"en","type":"article","venue":"Software Impacts","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"TRACE (psycholinguistics); Computer science; Planner; Programming language; Readability; Domain (mathematical analysis); Automated planning and scheduling; Artificial intelligence; Software engineering","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.001978784,0.001596622,0.00063367,0.001723691,0.0009309563,0.002659775,0.003262609,0.001206712,0.02004939],"category_scores_gemma":[0.00873501,0.001229253,0.001308396,0.001476263,0.001332844,0.002829982,0.003053064,0.003197943,0.005222835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000866423,"about_ca_system_score_gemma":0.003438163,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005103274,"about_ca_topic_score_gemma":0.005164194,"domain_scores_codex":[0.9981384,0.0004972415,0.0002269815,0.0003910139,0.0006171927,0.0001291427],"domain_scores_gemma":[0.9954869,0.002343075,0.0002741595,0.001208757,0.0005513196,0.000135779],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002962459,0.0003824071,0.001235388,0.001328368,0.0001395108,0.0005930936,0.0009451362,0.08887942,0.01933389,0.1164985,0.04928248,0.7210857],"study_design_scores_gemma":[0.0002398609,0.0002893567,0.0005809831,0.0003567776,0.0001151849,0.001140606,0.0003775236,0.5238077,0.06314625,0.14345,0.2663414,0.0001544238],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000906726,0.00005051152,0.968198,0.00009326753,0.0000325847,0.0001009092,0.0004818171,0.02749697,0.00263911],"genre_scores_gemma":[0.02904623,0.0001742722,0.9621704,0.0001232132,0.0000200727,0.0003187521,0.002267072,0.003231852,0.002648284],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02004939,"threshold_uncertainty_score":0.06707191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03240400380117723,"score_gpt":0.3095873810216779,"score_spread":0.2771833772205006,"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."}}