Optimizing Minimum Set Cover via Universe Segmentation
Enhance Minimum Set Cover solutions by exploiting universe decomposability with metaheuristic optimization for better quality and scalability.
IC3-Evolve: Automated Heuristic Evolution for Hardware Model Checking
Discover IC3-Evolve, an offline LLM-driven framework that automates heuristic evolution for IC3 hardware model checking with proof-gated validation.
SmartCLIP: Enhanced Vision-Language Alignment Method
Discover SmartCLIP, a modular approach improving vision-language alignment with identification guarantees for better multimodal learning performance.
Mission-Aligned Control for Safe Autonomous Systems
Explore mission-aligned learning-informed control to enhance safety, reliability, and efficiency in autonomous systems using RL and classical planning.
Galaxy Image Generation Using Diffusion Models
Discover GalCatDiff, an advanced diffusion model framework generating realistic galaxy images with category embeddings and astrophysical insights.