Formal Verification in the Age of AI: Ensuring Trust, Safety, and Correctness
Latest 50 papers on formal verification: Oct. 20, 2025
Artificial Intelligence
Programming Languages
Software Engineering
Artificial Intelligence
Computation and Language
Machine Learning
Machine Translation’s Next Frontier: Beyond Words to Nuance, Robustness, and User Trust
Latest 50 papers on machine translation: Oct. 20, 2025
Artificial Intelligence
Computer Vision
Graphics
Gaussian Splatting: Unpacking the Latest Breakthroughs in 3D Reconstruction and Beyond
Latest 50 papers on gaussian splatting: Oct. 20, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Unlocking AI’s Potential: Data Augmentation Techniques from Medical Imaging to LLM Reasoning
Latest 50 papers on data augmentation: Oct. 20, 2025
Artificial Intelligence
Computer Vision
Sound
Deepfake Detection: Navigating the Evolving Landscape of Synthetic Media
Latest 50 papers on deepfake detection: Oct. 20, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Catastrophic Forgetting: Charting the Course to Continuously Adaptive AI
Latest 50 papers on catastrophic forgetting: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
LLM Agents: Charting the Future of Autonomous Systems
Latest 50 papers on agents: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Unleashing LLMs’ Inner Thinker: Recent Advances in Chain-of-Thought Reasoning and Beyond
Latest 50 papers on chain-of-thought reasoning: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Reasoning++: Unlocking Advanced Mathematical and Creative AI Through Hybrid Approaches and Adaptive Optimization
Latest 50 papers on mathematical reasoning: Oct. 20, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Adversarial Attacks: Navigating the Shifting Sands of AI Security and Robustness
Latest 50 papers on adversarial attacks: Oct. 20, 2025