We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback.
CoRR, April, 2025
Symbolic Visual Reinforcement Learning: A Scalable Framework With Object-Level Abstraction and Differentiable Expression Search.
IEEE Trans. Pattern Anal. Mach. Intell., January, 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification.
CoRR, 2024
LLM-Assist: Enhancing Closed-Loop Planning with Language-Based Reasoning.
CoRR, 2024
Paced-curriculum distillation with prediction and label uncertainty for image segmentation.
Int. J. Comput. Assist. Radiol. Surg., October, 2023
Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation.
Proceedings of the International Conference on Machine Learning, 2023
Symbolic Distillation for Learned TCP Congestion Control.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
RepAr-Net: Re-Parameterized Encoders and Attentive Feature Arsenals for Fast Video Denoising.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022