Showing 1–10 of 10 results
/ Date/ Name
Apr 2, 2026Do We Need Frontier Models to Verify Mathematical Proofs?Feb 8, 2026On Improving Neurosymbolic Learning by Exploiting the Representation SpaceMay 30, 2025The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation ModelsFeb 19, 2025Where's the Bug? Attention Probing for Scalable Fault LocalizationOct 4, 2024Dolphin: A Programmable Framework for Scalable Neurosymbolic LearningJun 26, 2024Towards Compositionality in Concept LearningApr 15, 2024LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical EvaluationAug 13, 2023TorchQL: A Programming Framework for Integrity Constraints in Machine LearningMar 2, 2023Do Machine Learning Models Learn Statistical Rules Inferred from Data?Aug 11, 2022Interactive Code Generation via Test-Driven User-Intent Formalization