Conference paper
On Trajectory Augmentations for Off-Policy Evaluation
Ge Gao, Qitong Gao, et al.
ICLR 2024
A method for proving and disprowng propemes of programs ts described Its mam features are Recurstvely defined procedures can be used m assemons, loop mvarlants are not necessary, absence of run time errors is proven, counterexamples to incorrect programs can be given Experience with the method's lmplementaUon is reported. © 1978, ACM. All rights reserved.
Ge Gao, Qitong Gao, et al.
ICLR 2024
Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
Erik Altman, Jovan Blanusa, et al.
NeurIPS 2023
Imran Nasim, Melanie Weber
SCML 2024