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.LOShow all

1 paper · 1 filter

cs.LO2023

CoProver: A Recommender System for Proof Construction

Eric Yeh, Briland Hitaj, Sam Owre +2

Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complex…