You're looking at Name.acceptAll(["chaosarium", "Lómenoirë", "Leon", "Liang"])
's GitHub profile for whatever reason.
fun todolen ([] : todo list) : int = 0
| todolen (t::ts : todo list) = 1 + todolen(t::ts)
Have been or had been (possibly slowly) working on...
- CMU-LTI-RAG, the best-performing RAG system to answer questions about CMU and LTI in the Spring 2024 11-711 Advanced NLP course
- Influx, an integrated language learning environment, dev log here
- Semisupervised Neural Proto-Language Reconstruction at ACL 2024, code here
- Improved Neural Protoform Reconstruction via Reflex Prediction at LREC-COLING 2024, code here
- Quartz Plus
- PhotoArchive