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
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
Computation and Language
Machine Learning
Unlocking Low-Resource Languages: New Horizons in Multilingual AI
Latest 50 papers on low-resource languages: Oct. 20, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Active Learning’s Latest Leap: Smarter Sampling, Stronger Models, and Real-World Impact
Latest 50 papers on active learning: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
In-Context Learning: Unlocking Adaptive Intelligence Across Diverse AI Frontiers
Latest 50 papers on in-context learning: Oct. 20, 2025
Artificial Intelligence
Machine Learning
Robotics
Autonomous Systems: Navigating Uncertainty, Enhancing Trust, and Pioneering the Future
Latest 50 papers on autonomous systems: Oct. 20, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Arabic AI Ascendant: A New Wave of Culturally-Aware Models and Foundational Data
Latest 50 papers on arabic: Oct. 13, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Large Language Models: Scaling Smarter, Reasoning Deeper, and Staying Safe
Latest 100 papers on large language models: Oct. 13, 2025