Talks 5

• TBA Dec 11, 2025
• Paper Discussion (Part 2): "Categories for Dynamic Epistemic Logic" Nov 27, 2025
• Paper Discussion: "Categories for Dynamic Epistemic Logic" Nov 13, 2025
• Paper Discussion: "Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs" Oct 30, 2025
• Paper Discussion: "Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning" Oct 1, 2025