"au:"Mayur Naik"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Mayur Naik"" — arXiv2 Search

Showing 1–9 of 9 results

/ Date/ Name

Apr 23, 2026MathDuels: Evaluating LLMs as Problem Posers and Solvers Apr 2, 2026Do We Need Frontier Models to Verify Mathematical Proofs?Feb 8, 2026On Improving Neurosymbolic Learning by Exploiting the Representation Space May 30, 2025The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models Feb 19, 2025Where's the Bug? Attention Probing for Scalable Fault Localization Oct 4, 2024Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning Jun 26, 2024Towards Compositionality in Concept Learning Aug 13, 2023TorchQL: A Programming Framework for Integrity Constraints in Machine Learning Mar 2, 2023Do Machine Learning Models Learn Statistical Rules Inferred from Data?