formal specification

Expressive Temporal Specifications for Reward Monitoring AAAI 2026 Specification-Guided Reinforcement Learning AAAI 2026 Are Large Language Models Fluent in Declarative Process Mining? IJCAI 2025 Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference ACL 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 Requirement Patterns for Engineering Multiagent Interaction Protocols IJCAI 2025 AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties NeurIPS 2024 IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024 Reward Machines for Deep RL in Noisy and Uncertain Environments NeurIPS 2024 STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) NeurIPS 2024 CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications L4DC 2023 Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop RSS 2023 Iterative Circuit Repair Against Formal Specifications ICLR 2023 NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models EMNLP 2023 LTL-Constrained Steady-State Policy Synthesis IJCAI 2021 Steady-State Policy Synthesis in Multichain Markov Decision Processes IJCAI 2020