Verifiable Reinforcement Learning via Policy Extraction

Osbert Bastani, Yewen Pu, Armando Solar-Lezama

Nov-18-2025, 23:28:01 GMT–Neural Information Processing Systems

Neural Information Processing Systems http://nips.cc/

decision tree policy, machine learning, reinforcement learning, (17 more...)

Neural Information Processing Systems

Nov-18-2025, 23:28:01 GMT

Conferences PDF

Country:
- North America
  - Canada > Quebec
    - Montreal (0.04)
  - United States
    - California (0.04)
    - Massachusetts > Middlesex County
      - Cambridge (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning
    - Decision Tree Learning (0.76)
    - Neural Networks (0.70)
    - Reinforcement Learning (1.00)
  - Representation & Reasoning (1.00)