Publications (20)
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu +4
This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language,…
A Fast Quantitative Analyzer for NetKAT
Thomas Lu, Qiancheng Fu, Kevin Batz +5
The paper introduces a fast analyzer for quantitative network properties using weighted NetKAT, employing a symbolic data structure and specialized algorithms to efficiently comput…
Small Target Detection for Search and Rescue Operations using Distributed Deep Learning and Synthetic Data Generation
Kyongsik Yun, Luan Nguyen, Tuan Nguyen +5
It is important to find the target as soon as possible for search and rescue operations. Surveillance camera systems and unmanned aerial vehicles (UAVs) are used to support search…
Improved visible to IR image transformation using synthetic data augmentation with cycle-consistent adversarial networks
Kyongsik Yun, Kevin Yu, Joseph Osborne +4
Infrared (IR) images are essential to improve the visibility of dark or camouflaged objects. Object recognition and segmentation based on a neural network using IR images provide m…
Material Prediction for Design Automation Using Graph Representation Learning
Shijie Bian, Daniele Grandi, Kaveh Hassani +8
Successful material selection is critical in designing and manufacturing products for design automation. Designers leverage their knowledge and experience to create high-quality de…
Deep Neural Networks for Pattern Recognition
Kyongsik Yun, Alexander Huyen, Thomas Lu
In the field of pattern recognition research, the method of using deep neural networks based on improved computing hardware recently attracted attention because of their superior a…