Workshop on AI for Mathematics & 
Computer Science Research (AIMACS) 

Recent advances in AI and machine learning are reshaping the landscape of CS and mathematics research. For instance, systems like AlphaEvolve have discovered novel, more efficient algorithms for fundamental computations such as matrix multiplication, surpassing human-derived solutions. In the realm of formal mathematics, AI is being used to guide interactive theorem provers and even formalize complex proofs, bridging the gap between informal mathematical intuition and machine-checkable rigor. These developments suggest a future in which AI serves as a powerful collaborator for researchers, automating tedious tasks, uncovering novel insights, and expanding the frontier of knowledge. 

This workshop will help bring the CAV community up to speed with these developments and foster a dialogue between AI/ML experts working on these topics and formal methods researchers. Specific objectives include:

• Introducing the formal methods community to contemporary AI techniques for automated proof and discovery of algorithms, constructions, and counterexamples. 

• Discussing the unique challenges of applying AI to structured, logical domains.

• Exploring the potential for neurosymbolic systems that combine the deductive power of traditional solvers with the pattern-recognition strengths of neural networks.

• Identifying challenge problems that can benefit from emerging methods for AI-aided reasoning.