view article Article A Guide to Reinforcement Learning Post-Training for LLMs: PPO, DPO, GRPO, and Beyond karina-zadorozhny • Jan 19 • 58
VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims Paper • 2608.10213 • Published Aug 10
Neurosymbolic Auditing of Natural-Language Software Requirements Paper • 2605.13817 • Published May 13
Exploring Large Language Models for Access Control Policy Synthesis and Summarization Paper • 2510.20692 • Published Oct 23, 2025
CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models Paper • 2512.09957 • Published Dec 9, 2025