Audrey Seo

According to our database, Audrey Seo authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Correctly Compiling Proofs About Programs Without Proving Compilers Correct.

Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer

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

2022

Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships.

Eunice Jun, Audrey Seo, Jeffrey Heer, René Just

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022