Carl Kwan

According to our database, Carl Kwan authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Jolt zkVM Lookup Semantics.

Carl Kwan, Quang Dao, Justin Thaler

IACR Cryptol. ePrint Arch., 2024

Formalizing the Cholesky Factorization Theorem.

Carl Kwan, Warren A. Hunt Jr.

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Towards Formalized Matrix Analysis and Algorithms.

Carl Kwan

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

2018

Convex Functions in ACL2(r).

Carl Kwan, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r).

Carl Kwan, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018