Refereed Publications

  1. Carl Kwan, Yutong Xin, and William D. Young. “CHERI Concentrate in ACL2”. ACL2 2023. To Appear. Best Student Paper Award — 2nd Place.

  2. Carl Kwan. “Classical LU Decomposition in ACL2”. ACL2 2023. To Appear.

  3. 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.

  4. 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.

  5. 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

  1. 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

  1. Carl Kwan. Apr. 23, 2018. Choosing Metrics for Translating Embeddings in Recommender Systems. url: http://cs.utexas.edu/~carlkwan/papers/choosing-metrics-transe.pdf.

  2. 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

  1. Carl Kwan. “Some ACL2(r) Matrix Norms”. In Preparation.