Papers
Refereed Publications
-
Carl Kwan, Yutong Xin, and William D. Young. “CHERI Concentrate in ACL2”. ACL2 2023. To Appear. Best Student Paper Award — 2nd Place.
-
Carl Kwan. “Classical LU Decomposition in ACL2”. ACL2 2023. To Appear.
-
Carl Kwan, Yan Peng, and Mark R. Greenstreet. May 2020. “Cauchy-Schwarz in ACL2(r) Abstract Vector Spaces”. In: Electronic Proceedings in Theoretical Computer Science 327, pp. 90–92. doi: 10.4204/EPTCS.327.8.
-
Carl Kwan and Mark R. Greenstreet. Oct. 2018. “Convex Functions in ACL2(r)”. In: Electronic Proceedings in Theoretical Computer Science 280, pp. 128–142. doi: 10.4204/eptcs.280.10.
-
Carl Kwan and Mark R. Greenstreet. Oct. 2018. “Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)”. In: Electronic Proceedings in Theoretical Computer Science 280, pp. 111–127. doi: 10.4204/eptcs.280.9.
Invited
-
Carl Kwan. Jan. 4, 2022. Towards Formalized Matrix Analysis and Algorithms. International Symposium on Artificial Intelligence and Mathematics Fort Lauderdale, FL. January 3–5, 2022. url: https://isaim2022.cs.ou.edu/papers/ISAIM2022_Formalization_Kwan.pdf.
Technical Reports
-
Carl Kwan. Apr. 23, 2018. Choosing Metrics for Translating Embeddings in Recommender Systems. url: http://cs.utexas.edu/~carlkwan/papers/choosing-metrics-transe.pdf.
-
Carl Kwan. Apr. 20, 2018. Galois Theory and Questions of Feasibility in Graph Drawing. url: http://cs.utexas.edu/~carlkwan/papers/galois-graph-drawing.pdf.
Unpublished
- Carl Kwan. “Some ACL2(r) Matrix Norms”. In Preparation.