activity
20222024
most citedOutcome-Guided Counterfactuals for Reinforcement Learning Agents from a Jointly Trained Generative Latent Space

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2023

Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning

John Hester, Briland Hitaj, Grant Passmore +3

Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-expon…