{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001766897,0.0008472868,0.0005827183,0.0008982187,0.0003406516,0.001615774,0.001674784,0.0008416541,0.002221718],"category_scores_gemma":[0.01323193,0.0004363173,0.001200491,0.0008853024,0.00171645,0.002592271,0.000995047,0.001745124,0.0003488501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001766768,"about_ca_system_score_gemma":0.001844125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005662168,"about_ca_topic_score_gemma":0.009398586,"domain_scores_codex":[0.9981962,0.0006266865,0.0001209352,0.0004306948,0.00048669,0.0001388655],"domain_scores_gemma":[0.9915495,0.006258479,0.0008412967,0.0006781178,0.0005512209,0.0001214192],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002333226,0.0002115478,0.003680854,0.0002660306,0.00009975328,0.0003418057,0.0006390561,0.7894779,0.005373979,0.1298726,0.001294895,0.06850826],"study_design_scores_gemma":[0.00001482281,0.00003526843,0.0001083325,0.00001609845,0.00001341038,0.00002446526,0.00002721121,0.9253917,0.001535789,0.07231309,0.0005124592,0.000007384541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02629115,0.0000822114,0.970918,0.0003865029,0.00001492047,0.00005659529,0.0003452387,0.0007417713,0.001163661],"genre_scores_gemma":[0.5848973,0.0002213172,0.4112509,0.0002488689,0.00003757054,0.0002802999,0.001261674,0.0001236497,0.001678369],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005662168,"threshold_uncertainty_score":0.01281887,"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."}}