OptProver: Advanced Optimization in Formal Theorem Proving
Discover how OptProver bridges Olympiad math and optimization with continual training, boosting formal theorem proving efficiency and accuracy.
Open-Source Talking Slide Avatars for Engaging Teaching
Enhance slide-based teaching with open-source talking avatars that boost engagement and instructor presence in online and hybrid learning.
Agri-CPJ: Explainable Pest Diagnosis Without Training
Discover Agri-CPJ, a training-free, explainable framework using vision-language models for accurate agricultural pest diagnosis and improved crop health.
AI-Driven Integrity Validation for Cyber-Resilient Microgrid Protection
Enhance inverter-based microgrid protection with AI-based measurement validation to prevent cyber-attacks and ensure reliable AC/DC relay operation.
FlowPlace: Efficient Chip Placement with Flow Matching
Discover FlowPlace, a breakthrough in chip placement using flow matching for faster, overlap-free layouts and improved power, performance, and area metrics...