Reproduce “Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too” 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.