Publications
My publications in reversed chronological order.
2026
-
In submissionQMA Lower Bounds for Batch Verification via Approximate Degree2026
-
In submissionLearning Algorithms from Parallel Kolmogorov Complexity2026
-
In submissionNon-Levin NP-Hardness of Implicit MCSP and PAC Learning under Few Assumptions2026
2024
2023
2022
2021
-
A (Mostly) Symbolic System for Monotonic Inference with Unscoped Episodic Logical FormsIn Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), Jun 2021
-
NALOMA 2020Monotonic Inference for Underspecified Episodic LogicIn Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), Jun 2021