Research: Formal Verification’s New Era: LLMs, Quantum Systems, and Robust AI
Latest 10 papers on formal verification: Jan. 3, 2026
Artificial Intelligence
Logic in Computer Science
Machine Learning
Artificial Intelligence
Computer Vision
Machine Learning
Research: Adversarial Attacks: Navigating the Shifting Sands of AI Robustness
Latest 27 papers on adversarial attacks: Jan. 3, 2026
Artificial Intelligence
Machine Learning
Software Engineering
Research: CODEGEN-FUSION: How LLMs are Mastering Security, Reasoning, and Multi-Modal Engineering
Latest 150 papers on code generation: Dec. 31, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Research: Latest in Arabic AI: From Dialects to Digital Sovereignty
Latest 50 papers on arabic: Dec. 27, 2025
Artificial Intelligence
Computation and Language
Machine Learning
Research: In-Context Learning: Unlocking New Frontiers from Robotics to Medical AI
Latest 50 papers on in-context learning: Dec. 27, 2025
Artificial Intelligence
Computation and Language
Information Retrieval
Research: Retrieval-Augmented Generation: Navigating the New Frontiers of AI Intelligence and Trust
Latest 50 papers on retrieval-augmented generation: Dec. 27, 2025
Artificial Intelligence
Computation and Language
Software Engineering
Research: Prompt Engineering Unlocked: Latest Breakthroughs in LLM Control and Application
Latest 50 papers on prompt engineering: Dec. 27, 2025
Artificial Intelligence
Computers and Society
Machine Learning
Research: Healthcare AI’s Next Frontier: Trust, Transparency, and Precision at the Edge
Latest 50 papers on healthcare: Dec. 27, 2025
Artificial Intelligence
Computers and Society
Cryptography and Security
Research: Cybersecurity’s AI Frontier: Navigating Threats and Building Resilience with Next-Gen Intelligence
Latest 50 papers on cybersecurity: Dec. 27, 2025
Artificial Intelligence
Computers and Society
Human-Computer Interaction
Research: Ethical AI: Bridging the Divide Between Principles and Practice
Latest 50 papers on ethics: Dec. 27, 2025