Tag
HyPOLE introduces a framework for multi-agent reinforcement learning under partial observability that uses hyperproperty-guided learning via HyperLTL temporal logic, integrated with centralized training for decentralized execution, and demonstrates improvements over baselines on SMAC, MessySMAC, and WildFire benchmarks.
Discusses the need for formal specifications in AI-generated code and introduces PICK, a tool that leverages human judgment to help programmers specify desired properties for LLM-generated regular expressions.