Sort by
Refine Your Search
-
with Prof. Jesse Davis on safe AI where the goal is to develop verification and reasoning techniques for tree ensembles with applications in planning. This is a joint project in conjunction with Prof
Searches related to verification
Enter an email to receive alerts for verification positions