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
Computation and Language
Machine Learning
Agents Take Center Stage: Navigating Complexity and Enhancing Capabilities in the Latest AI Research
Latest 50 papers on agents: 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
Computation and Language
Machine Learning
Korean, Hindi, Wayuunaiki, and More: Breaking Down Language Barriers in AI
Latest 50 papers on low-resource languages: Sep. 1, 2025
Artificial Intelligence
Computation and Language
Machine Learning
In-Context Learning: Revolutionizing AI from Language to Robotics and Beyond
Latest 50 papers on in-context learning: Sep. 1, 2025
Artificial Intelligence
Computation and Language
Machine Learning
∀ Reasoning Efficiency: The Latest Breakthroughs in LLM Mathematical and Agentic Reasoning
Latest 100 papers on mathematical reasoning: Aug. 25, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Few-Shot Learning: Unlocking AI’s Potential in Data-Scarce Worlds
Latest 69 papers on few-shot learning: Aug. 25, 2025
Artificial Intelligence
Computer Vision
Machine Learning
Data Augmentation: Supercharging AI Models Across Modalities and Domains
Latest 100 papers on data augmentation: Aug. 25, 2025