conf.researchr.org / Lisa Zhang
Registered user since Wed 21 Aug 2019
Name:Lisa Zhang
Country:Canada
Affiliation:University of Toronto Mississauga
Personal website: http://lisazhang.ca
Research interests:minikanren, program synthesis, machine learning, computer science education
Contributions
2024
2023
2022
2021
miniKanren
- Session Chair of Morning Keynote (part of miniKanren 2021)
- Author of Universal Quantification and Implication in miniKanren within the miniKanren 2021-track
- Author of Relational Floating-Point Arithmetic within the miniKanren 2021-track
- Co-chair in Organizing Committee within the miniKanren 2021-track