Projects

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language arxiv

Authors: Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev

Software Engineering Prompt Engineering LLM
📄 Paper

Axiom of Choice presentation

Well-Ordering Theorem, Axiom of Choice, and Zorn’s Lemma, Applications of Zorn’s Lemma, Banach-Tarski Paradox, Independence of the Axiom of Choice

Authors: Travor Liu, Yi Liu, Daya Singh, Tairan Wang

Math Axiom of Choice
🔗 Presentation