{"id":"W4382463985","doi":"10.1609/aaai.v37i13.27068","title":"NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas","year":2023,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Programming language; Python (programming language); Natural language; IBM; Linear temporal logic; Temporal logic; Extensibility; Natural language processing","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.001337993,0.001668232,0.0008883063,0.001587959,0.0008427487,0.002436793,0.003223037,0.001215108,0.1383047],"category_scores_gemma":[0.006684301,0.00149452,0.002380229,0.001162964,0.001149379,0.004127276,0.00329796,0.004359692,0.07990703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001436241,"about_ca_system_score_gemma":0.003234691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005897383,"about_ca_topic_score_gemma":0.007933215,"domain_scores_codex":[0.9987798,0.0001862215,0.0001349654,0.0002247914,0.0005112208,0.0001628313],"domain_scores_gemma":[0.9982637,0.0006551216,0.0001663938,0.0003574321,0.0004347936,0.000122584],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003168381,0.0001482295,0.001405169,0.001529342,0.0001113413,0.00050131,0.0004841179,0.006263639,0.008838912,0.04810813,0.8066413,0.1256517],"study_design_scores_gemma":[0.0002252279,0.00005359451,0.001143742,0.0002932999,0.00005211429,0.0006147979,0.0001145286,0.08700969,0.01904436,0.0919988,0.7992631,0.000186694],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"software","genre_scores_codex":[0.001251842,0.0001506342,0.4082437,0.0006633846,0.0002957634,0.0003098788,0.0302283,0.5365613,0.02229532],"genre_scores_gemma":[0.04297177,0.0006527401,0.5507982,0.002409752,0.0002316311,0.002039567,0.09633682,0.2646235,0.03993608],"genre_candidate":"software","genre_consensus":"software","teacher_disagreement_score":0.1383047,"threshold_uncertainty_score":0.4626755,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0672773486059246,"score_gpt":0.3422182075960282,"score_spread":0.2749408589901036,"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."}}