Formal Verification in the Age of AI: Ensuring Trust, Robustness, and Security
Latest 50 papers on formal verification: Sep. 1, 2025
Artificial Intelligence
Logic in Computer Science
Machine Learning
Artificial Intelligence
Computation and Language
Machine Learning
Machine Translation: Decoding the Future of Global Communication
Latest 50 papers on machine translation: Sep. 1, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Data Augmentation’s New Frontiers: From Synthetic Data to Enhanced AI Trustworthiness
Latest 50 papers on data augmentation: Sep. 1, 2025
Machine Learning
math.NA
Numerical Analysis
Physics-Informed Neural Networks: Unlocking Next-Gen Scientific Computing
Latest 50 papers on physics-informed neural networks: Sep. 1, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Catastrophic Forgetting: Navigating the AI Memory Maze with Recent Breakthroughs
Latest 50 papers on catastrophic forgetting: Sep. 1, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Unlocking AI’s Inner Thinker: Recent Breakthroughs in Chain-of-Thought Reasoning
Latest 50 papers on chain-of-thought reasoning: Sep. 1, 2025
Artificial Intelligence
Computation and Language
Machine Learning
∑ (Mathematical Reasoning + LLMs): Unlocking Advanced AI Cognition
Latest 50 papers on mathematical reasoning: Sep. 1, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Meta-Learning: Powering the Next Wave of Adaptive and Efficient AI
Latest 50 papers on meta-learning: Sep. 1, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Parameter-Efficient Fine-Tuning: Scaling Intelligence While Staying Lean
Latest 50 papers on parameter-efficient fine-tuning: Sep. 1, 2025