Formal Verification in the Age of AI: Bridging Rigor and Reality
Latest 50 papers on formal verification: Nov. 30, 2025
Artificial Intelligence
Logic in Computer Science
Software Engineering
Artificial Intelligence
Computation and Language
Machine Learning
Machine Translation’s Next Frontier: Smarter, More Inclusive, and Quantum-Ready
Latest 50 papers on machine translation: Nov. 30, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Data Augmentation: Supercharging AI Across Domains with Novel Techniques and Insights
Latest 50 papers on data augmentation: Nov. 30, 2025
Artificial Intelligence
Computer Vision
Sound
Deepfake Detection: Navigating the Evolving Landscape with Multi-Modal, Explainable, and Robust AI
Latest 50 papers on deepfake detection: Nov. 30, 2025
Artificial Intelligence
Computation and Language
Computer Vision
Unlocking Advanced AI: The Chain-of-Thought Revolution in Reasoning, Efficiency, and Safety
Latest 50 papers on chain-of-thought reasoning: Nov. 30, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Meta-Learning Unleashed: The Latest Frontiers in Adaptation, Robustness, and Efficiency
Latest 50 papers on meta-learning: Nov. 30, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Parameter-Efficient Fine-Tuning: Unleashing AI’s Potential Across Domains
Latest 50 papers on parameter-efficient fine-tuning: Nov. 30, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Feature Extraction Frontiers: From Neurons to Networks, Powering Next-Gen AI
Latest 50 papers on feature extraction: Nov. 30, 2025
Artificial Intelligence
Cryptography and Security
Machine Learning
Differential Privacy Unleashed: Navigating New Frontiers in AI/ML Security and Fairness
Latest 50 papers on differential privacy: Nov. 30, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Model Compression: Unlocking Efficiency and Performance Across the AI Landscape
Latest 50 papers on model compression: Nov. 30, 2025