Lucas Lee's Projects
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
Custom gesture recognizers based on $1, $Q algorithms for your iOS projects.
Code referenced from Observable: https://observablehq.com/@d3/collapsible-tree
Our hackathon project for HackMIT2023
Infinicard's Drawing tool
High throughput transfer demo for iOS
LgTvWebOSSwift is a Swift library that allows you to simply and easily send commands from an iOS device to an LG Smart TV running WebOS.
Profile ReadMe
Experience, Learn and Code the latest breakthrough innovations with Microsoft AI
Code samples for my book "Neural Networks and Deep Learning"
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for over 150 supported car makes and models.
Ring App for Mobile Intelligence Lab
Translating Captions using DeepL API
Swire Dataset and Application Code
DubHacks Project with Shin Komori