Formal Verification in the Age of AI: Ensuring Safety, Security, and Correctness
Latest 50 papers on formal verification: Nov. 2, 2025
Artificial Intelligence
Logic in Computer Science
Software Engineering
Artificial Intelligence
Computation and Language
Machine Learning
Machine Translation Unlocked: Navigating Nuance, Ethics, and Efficiency in the Age of LLMs
Latest 50 papers on machine translation: Nov. 2, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Data Augmentation: Powering the Next Generation of AI Models
Latest 50 papers on data augmentation: Nov. 2, 2025
Artificial Intelligence
Computer Vision
Sound
Deepfake Detection: Navigating the Evolving Landscape of Synthetic Media
Latest 50 papers on deepfake detection: Nov. 2, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Catastrophic Forgetting: Charting the Path to Resilient AI with Recent Breakthroughs
Latest 50 papers on catastrophic forgetting: Nov. 2, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Unleashing the Potential of AI Agents: New Frontiers in Autonomy, Collaboration, and Safety
Latest 50 papers on agents: Nov. 2, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Unpacking the ‘Thought’ in AI: Recent Advances in Chain-of-Thought Reasoning for LLMs and MLLMs
Latest 50 papers on chain-of-thought reasoning: Nov. 2, 2025
Artificial Intelligence
Computation and Language
Machine Learning
∑(AI_Research) = Unlocking Advanced Mathematical Reasoning in Large Language Models
Latest 50 papers on mathematical reasoning: Nov. 2, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Adversarial Attacks: Navigating the Shifting Landscape of AI Security and Robustness
Latest 50 papers on adversarial attacks: Nov. 2, 2025
Artificial Intelligence
Machine Learning
Statistical Machine Learning
Meta-Learning: From Adaptable LLMs to Robust Robotics and Beyond
Latest 50 papers on meta-learning: Nov. 2, 2025