Projects

Here are some coding projects I worked on as a graduate.

• Economic theory in Lean (2026) - a few core proofs from economic theory, formalized in Lean.

Here are some coding projects I worked on as an undergraduate.

• NLP data generator (2022) - an online tool for AI-automated natural language processing data generation.
• Cobb Douglas simulations (2022) - an educative online tool for Cobb Douglas economy simulations. This website might take a minute to load.
• Social science brainstorming tool (2021) - a social sciences Q&A chatbot using an OpenAI LLM (pre-ChatGPT).
• Trading bot (2021) - a machine learning algorithm that managed two portfolios of the stocks of sustainable tech corporations.
• Model estimation tool (2021) - a general machine learning-based model search tool.
• World Bank data plotting tool (2021) - an online tool of a graphical user interface for plotting World Bank data.

To view my remaining projects, check out my CV.