{"id":"W2965569070","doi":"10.1609/icaps.v29i1.3529","title":"Learning Interpretable Models Expressed in Linear Temporal Logic","year":2019,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Microsoft Research","keywords":"Artificial intelligence; Computer science; Linear temporal logic; Oracle; Classifier (UML); Machine learning; Relevance (law); Set (abstract data type); Feature learning; Temporal logic; Theoretical computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.0006094693,0.0001710577,0.0002185737,0.0002093691,0.00009388377,0.0002346463,0.000980353,0.00009863582,0.00001196056],"category_scores_gemma":[0.0001161379,0.0001348767,0.0000467667,0.0002216577,0.00003140702,0.0005794755,0.000306872,0.0004998436,0.000007781716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003523999,"about_ca_system_score_gemma":0.00006164364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004468288,"about_ca_topic_score_gemma":3.510207e-7,"domain_scores_codex":[0.9986811,0.00001962529,0.0003283138,0.0003779216,0.0003572413,0.0002358501],"domain_scores_gemma":[0.9992529,0.0001158698,0.0002807706,0.00009901668,0.000204027,0.00004746944],"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.0002037775,0.0001109005,0.2122028,0.0002076209,0.00009449525,0.000008791258,0.009092001,0.5188761,0.07368477,0.1837224,0.0001976394,0.001598751],"study_design_scores_gemma":[0.0003266842,0.00008998576,0.0008246133,0.001394768,0.000002813471,0.000008960975,0.0004902803,0.9859009,0.004195221,0.006576291,0.00003259948,0.000156828],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9809986,0.00007080512,0.004011892,0.001064565,0.0003581318,0.0001422957,0.000002916045,0.0003539987,0.01299677],"genre_scores_gemma":[0.9825515,0.000009315697,0.0169172,0.00013964,0.00001864758,0.000007187342,0.000003467959,0.000009773821,0.0003432868],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4670249,"threshold_uncertainty_score":0.5500113,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03469309263076131,"score_gpt":0.2746181787677578,"score_spread":0.2399250861369965,"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."}}