{"id":"W2998256767","doi":"10.48550/arxiv.1912.13430","title":"Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Programming language; Computer science; Temporal logic; Linear temporal logic","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007207259,0.0003729288,0.000438178,0.0003154785,0.0001932239,0.0001769523,0.003024252,0.0004006329,0.00002332271],"category_scores_gemma":[0.0003780384,0.0004110709,0.000374738,0.0006944079,0.0001385897,0.0004889312,0.001206741,0.0004741501,0.0001332497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002763553,"about_ca_system_score_gemma":0.000257447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006384489,"about_ca_topic_score_gemma":0.0000048761,"domain_scores_codex":[0.9973832,0.0002432549,0.0004233687,0.001380896,0.0001328977,0.0004363475],"domain_scores_gemma":[0.9963313,0.0002093936,0.0005305842,0.002359514,0.0004135198,0.0001556525],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000051045,0.0004173436,0.002143289,0.0004091026,0.0001102856,0.0000275456,0.0001597021,0.1682103,0.00005241188,0.8056787,0.001115789,0.02162447],"study_design_scores_gemma":[0.0002174472,0.00009837153,0.001400418,0.00004357216,0.00007476861,0.000004492203,0.00003079925,0.9685295,0.0006422322,0.02316889,0.005299345,0.0004902126],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01523891,0.00003098363,0.9772044,0.0003238443,0.001244515,0.001956968,0.00004901469,0.0007163099,0.003235008],"genre_scores_gemma":[0.5400828,0.00004064734,0.4587751,0.00005440031,0.0001092383,0.00003363157,0.00003186318,0.00002225822,0.0008500334],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8003192,"threshold_uncertainty_score":0.9998341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3233193035189145,"score_gpt":0.2854859047594974,"score_spread":0.03783339875941716,"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."}}