Hackathon Portal
AI Tinkerers - New York City
Final round winners have been announced. View Results
Team

Formalyze

Project Concept

This reflects the first step behind my idea of co-founder-as-a-service. While working on a startup project in my entrepreneurship class at Cornell, I noticed several pain points: our team discussions were fragmented, creating surveys was tedious, and existing tools lacked the ability to incorporate internal context or tie back to our hypotheses. That experience led me to build Formalyze. It’s a tool powered by an intelligent agent that helps you evolve a raw idea into a structured survey rooted in your hypothesis. At every stage, AI and human input work together to advance the concept, building a connected knowledge map along the way.

Entry

Status: Submitted

Last saved: July 20 at 11:03 AM EDT

Team Roster

Message board not available for this team yet.

Siyan Wang Team Lead RSVP Approved

Master Student at Cornell University
Lead product designer and prompt engineer. Siyan has designed the whole product flow, modified the agent collaboration, and tested the output from different agent prompt designs.
I graduated from Haverford College with a B.S. in Mathematics and am currently pursuing a master’s in Information Science at Cornell. My focus is how to use AI to deliver information more accurately. Currently, I am a research assistant at Cornell, where we fine-tuned LLMs to define local news bias, and an AI engineer at Weill Cornell Medicine, where we developed novelty models to verify human identity using cough sounds. My works have been accepted to multiple conferences. Before Cornell, I worked as a data analyst and product manager in Silicon Valley.
I’m looking to connect with people who have a strong technical background in AI and have a deep understanding in UX research and community building. I'm deeply interested in entrepreneurship and always exploring new opportunities and potential collaborators for future ventures.
I am currently working on an AI agent to make the user research process easier. I am currently building a smart survey generator.

Yang Li RSVP Approved

Data analyst at New York University
Main technical contributor. Yang has been mainly working on coding the agent and make sure it is functionally bug-free.
I am working in academia where I process medical big data. I hope to meet talented people in NYU and prepare to open a startup in this field.
Medical images Electronic health records
Medical big data processing, including images and Electronic health records.