Reproduce “Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.

Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.