Formal Verification in the Age of AI: Revolutionizing Trust and Automation
Latest 50 papers on formal verification: Oct. 27, 2025
Artificial Intelligence
Cryptography and Security
Software Engineering
Artificial Intelligence
Computation and Language
Machine Learning
Bridging Gaps: The Latest in Machine Translation Evaluation, Robustness, and Low-Resource Advancement
Latest 50 papers on machine translation: Oct. 27, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Unlocking AI’s Potential: How Data Augmentation is Revolutionizing Diverse ML Applications
Latest 50 papers on data augmentation: Oct. 27, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Unleashing AI’s Inner Thinker: Recent Advances in Chain-of-Thought Reasoning for LLMs and Beyond
Latest 50 papers on chain-of-thought reasoning: Oct. 27, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Unlocking the Power of Low-Resource Languages: Breakthroughs in Multilingual AI
Latest 50 papers on low-resource languages: Oct. 27, 2025
Artificial Intelligence
Computation and Language
Machine Learning
In-Context Learning: Decoding the Latest Breakthroughs in LLM Adaptation, Efficiency, and Intelligence
Latest 50 papers on in-context learning: Oct. 27, 2025
Artificial Intelligence
Machine Learning
Robotics
Autonomous Systems: Navigating Complexity with Intelligence and Safety
Latest 50 papers on autonomous systems: Oct. 27, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Arabic NLP’s Renaissance: Building Culturally-Aware and Capable Language Models
Latest 50 papers on arabic: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Interpretability Unleashed: Unpacking the Black Box with Recent AI/ML Breakthroughs
Latest 50 papers on interpretability: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Large Language Models: From Reasoning to Reliable Agents and Efficient Hardware
Latest 100 papers on large language models: Oct. 20, 2025