Inspiration
Write language that can create market consensus. Polymarket has lots of disputable markets every week based on discrepancies in language.
What it does
Takes arbitrary prediction market resolution language and maps it to ReSL, a controlled natural language, based on logic that is machine verifiable, and then compiles that output back to english.
How we built it
Scraped all polymarket verbs to find highest frequencies and the gave each verb argument items. Built a ledger of actors and sources also to plug in. Compiler uses quantifiers from english to rewrite in human readable language again.
Challenges we ran into
Compiling back to natural sounding english was difficult.
Accomplishments that we're proud of
The entire thing.
What we learned
How to ship frontend in 20 mins.
What's next for ReSL
Scale source and actors and verbs to apply to any arbitrary market.
Log in or sign up for Devpost to join the conversation.