2024
Formal Verification of Object Detection.
CoRR, 2024

Statistical curriculum learning: An elimination algorithm achieving an oracle risk.
Proceedings of the Thirty Seventh Annual Conference on Learning Theory, June 30, 2024

2023
Temporal Relation Classification using Boolean Question Answering.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2011
A 250 mV 8 kb 40 nm Ultra-Low Power 9T Supply Feedback SRAM (SF-SRAM).
IEEE J. Solid State Circuits, 2011

2007
Finding a Common Motif of RNA Sequences Using Genetic Programming: The GeRNAMo System.
IEEE ACM Trans. Comput. Biol. Bioinform., 2007

2004
A novel design and fabrication method of a pyramidal shape chip for scanning micro mirror.
Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

A novel design and fabrication method of scanning micro-mirror for retinal scan displays.
Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004