{"total":18,"rows":[{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320,"area":null},{"id":"2207.14157","title":"A Hazard Analysis Framework for Code Synthesis Large Language Models","created":"2022-07-25","cited_by_count":22,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"area":null},{"id":"2405.13488","title":"Non-Deterministic Planning for Hyperproperty Verification","created":"2024-05-22","cited_by_count":4,"area":null},{"id":"2312.12403","title":"On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing","created":"2023-12-19","cited_by_count":2,"area":null},{"id":"2306.08916","title":"Counterfactuals Modulo Temporal Logics","created":"2023-06-15","cited_by_count":1,"area":null},{"id":"2307.04503","title":"Deductive Controller Synthesis for Probabilistic Hyperproperties","created":"2023-07-10","cited_by_count":1,"area":null},{"id":"2308.06186","title":"Software Doping Analysis for Human Oversight","created":"2023-08-11","cited_by_count":1,"area":null},{"id":"2403.13741","title":"Hyper Strategy Logic","created":"2024-03-20","cited_by_count":1,"area":null},{"id":"2209.02672","title":"Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*","created":"2022-09-06","cited_by_count":0,"area":null},{"id":"2310.02614","title":"On Quantified Observability Analysis in Multiagent Systems","created":"2023-10-04","cited_by_count":0,"area":null},{"id":"2404.09652","title":"Monitoring Second-Order Hyperproperties","created":"2024-04-15","cited_by_count":0,"area":null},{"id":"2502.13621","title":"Decentralized Planning Using Probabilistic Hyperproperties","created":"2025-02-19","cited_by_count":0,"area":null},{"id":"2509.01479","title":"An Information-Flow Perspective on Explainability Requirements: Specification and Verification","created":"2025-09-01","cited_by_count":0,"area":null},{"id":"2510.03952","title":"Strategy Logic, Imperfect Information, and Hyperproperties","created":"2025-10-04","cited_by_count":0,"area":null},{"id":"2512.23324","title":"On Conformant Planning and Model-Checking of $\\exists^*\\forall^*$ Hyperproperties","created":"2025-12-29","cited_by_count":0,"area":null},{"id":"2606.29681","title":"Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2606.30966","title":"HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation","created":"2026-06-29","cited_by_count":0,"area":null}],"next_cursor":null}