Showing 2025Show all
3 papers · 1 filter
cs.AI2025
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
Ayush Khaitan, Vijay Ganesh
Large language models have recently demonstrated advanced capabilities in solving IMO and Putnam problems; yet their role in research mathematics has remained fairly limited. The k…
cs.LO2025
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi +3
Translating human-written mathematical theorems and proofs from natural language (NL) into formal languages (FLs) like Lean 4 has long been a significant challenge for AI. Most sta…
cs.LG2025
Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability
Sanjif Shanmugavelu, Mathieu Taillefumier, Christopher Culver +3
The ability of machine learning (ML) classification models to resist small, targeted input perturbations -- known as adversarial attacks -- is a key measure of their safety and rel…