Extracting Moore Machines from Transformers Using Queries and Counterexamples.
Proceedings of the Advances in Intelligent Data Analysis XXIII, 2025
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025
The Gradient of Algebraic Model Counting.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
KLay: Accelerating Neurosymbolic AI.
CoRR, 2024
Extracting Finite State Machines from Transformers.
CoRR, 2024
On the Hardness of Probabilistic Neurosymbolic Learning.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Soft-Unification in Deep Probabilistic Logic.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win.
CoRR, 2021
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands.
Proceedings of the NeurIPS 2020 Competition and Demonstration Track, 2020