Formal Verification: Scaling Trust and Automation in the AI Era
Latest 23 papers on formal verification: Jun. 6, 2026
Artificial Intelligence
Logic in Computer Science
Software Engineering
Artificial Intelligence
Computation and Language
Machine Learning
Machine Translation’s Next Frontier: Building Smarter, Leaner, and Culturally Aware Systems for Every Language
Latest 16 papers on machine translation: Jun. 6, 2026
Artificial Intelligence
Computer Vision
Machine Learning
Data Augmentation: Fueling Breakthroughs Across Robotics, Medical AI, and Multilingual Systems
Latest 39 papers on data augmentation: Jun. 6, 2026
Artificial Intelligence
Computer Vision
Sound
Deepfake Detection: Navigating the Shifting Sands of Synthetic Media
Latest 12 papers on deepfake detection: Jun. 6, 2026
Artificial Intelligence
Computer Vision
Machine Learning
Catastrophic Forgetting: Unveiling the Persistence of Knowledge and Paving the Way for Continual Learning Breakthroughs
Latest 33 papers on catastrophic forgetting: Jun. 6, 2026
Artificial Intelligence
Computation and Language
Machine Learning
Agents Unleashed: Latest Breakthroughs in Orchestration, Intelligence, and Trust
Latest 100 papers on agents: Jun. 6, 2026
Artificial Intelligence
Computation and Language
Computer Vision
Unpacking Chain-of-Thought: The Latest Advancements in LLM Reasoning, Robustness, and Efficiency
Latest 17 papers on chain-of-thought reasoning: Jun. 6, 2026
Artificial Intelligence
Computation and Language
Machine Learning
Robust & Efficient LLM Reasoning
Latest 49 papers on mathematical reasoning: Jun. 6, 2026
Artificial Intelligence
Machine Learning
Statistical Machine Learning
Meta-Learning: Powering Adaptability and Efficiency Across Diverse AI Frontiers
Latest 13 papers on meta-learning: Jun. 6, 2026
Artificial Intelligence
Computation and Language
Machine Learning
Parameter-Efficient Fine-Tuning: Scaling Intelligence While Staying Lean
Latest 24 papers on parameter-efficient fine-tuning: Jun. 6, 2026