Running Repro - Minimum Distance Summaries for Robust Neural Posterior Estimation ๐ฏ Create and share compact experiment logbooks for AI agents
Running Repro - Editable Proof Sketch for Automated Theorem Proving ๐ฏ Create and edit proof sketches for automated theorem proving
Running Repro - Avoid What You Know: Divergent Trajectory Balance for GFlowNets ๐ฏ Collaborate with an AI agent to manage a shared logbook