Formal Verification in AI/ML: From Robustness to Reasoning and Secure Systems
Latest 10 papers on formal verification: Feb. 7, 2026
Artificial Intelligence
Machine Learning
Software Engineering
Artificial Intelligence
Computation and Language
Machine Learning
Machine Translation: Beyond Words – Navigating Nuance, Scale, and Real-World Impact
Latest 25 papers on machine translation: Feb. 7, 2026
Artificial Intelligence
Computer Vision
Graphics
gaussian splatting: A Multiverse of Innovation – From Quantum Realms to Robotic Grasping
Latest 30 papers on gaussian splatting: Feb. 7, 2026
Artificial Intelligence
Computer Vision
Machine Learning
Generative Data Augmentation: Revolutionizing AI with Synthetic Smarts and Robustness
Latest 46 papers on data augmentation: Feb. 7, 2026
Artificial Intelligence
Audio and Speech Processing
Sound
Deepfake Detection: Unmasking the Subtle Art of AI Forgery
Latest 7 papers on deepfake detection: Feb. 7, 2026
Artificial Intelligence
Computer Vision
Machine Learning
Catastrophic Forgetting: Charting the New Frontier of Lifelong Learning in AI
Latest 48 papers on catastrophic forgetting: Feb. 7, 2026
Artificial Intelligence
Computation and Language
Machine Learning
Unleashing the Future: Breakthroughs in Intelligent Agents and Multi-Agent Systems
Latest 80 papers on agents: Feb. 7, 2026
Artificial Intelligence
Computation and Language
Computer Vision
Unlocking AI’s Inner Thinker: Recent Advances in Chain-of-Thought Reasoning
Latest 8 papers on chain-of-thought reasoning: Feb. 7, 2026
Artificial Intelligence
Computation and Language
Machine Learning
$$ \sum_{i=1}^{n} ( ext{Reasoning}_i imes ext{Efficiency}_i) $$: The Sum of Recent Breakthroughs in Large Language Model Reasoning and Efficiency
Latest 56 papers on mathematical reasoning: Feb. 7, 2026
Artificial Intelligence
Computer Vision
Machine Learning
Adversarial Attacks: Navigating the Shifting Landscape of AI Security and Robustness
Latest 24 papers on adversarial attacks: Feb. 7, 2026