AI Agents Enhancing Isabelle: Drafting & Mechanizing Proofs
Discover how AI agents and human hints improve drafting, mechanizing, and generalizing proofs in Isabelle for efficient formal verification.
SSMamba: Advanced Self-Supervised Model for Pathology Images
Discover SSMamba, a self-supervised hybrid model that improves pathological image classification with enhanced local-global feature learning.
Robust Risk-Sensitive Cooperation in Multi-Agent RL
Explore robust risk-sensitive cooperation strategies in non-stationary multi-agent reinforcement learning to improve stability amid partner uncertainty.
Hierarchical Active Inference with Successor Representations
Explore hierarchical active inference using successor representations for efficient planning and decision-making in complex environments and RL tasks.
CodeMMR: Unified Retrieval for Code, Text & Images
Discover CodeMMR, a multimodal model unifying natural language, code, and images for superior code retrieval and generation across languages and domains.