semantique / README.md
benjosaur's picture
Update README
8848d14
|
Raw
History Blame Contribute Delete
2.55 kB

A newer version of the Gradio SDK is available: 6.20.0

Upgrade
metadata
title: Semantique
emoji: πŸ‡
colorFrom: gray
colorTo: gray
sdk: gradio
sdk_version: 6.17.3
app_file: app.py
pinned: false
license: mit
short_description: How well can you prompt a small AI?
thumbnail: >-
  https://huggingface.co/spaces/benjosaur/semantique/resolve/main/static/social-card.png
tags:
  - track:wood
  - sponsor:openbmb
  - sponsor:modal
  - achievement:offgrid
  - achievement:offbrand
  - achievement:fieldnotes

Semantique πŸ‡

Welcome to Semantique a short adventure game where you test your prompting chops.

Hop around constructing prompts and see if you can tease out all the target words from MiniCPM3-4B. But be careful! Your context window can only stretch so far...

Use the hint button if you get too stuck! πŸ’‘

β–Ά Watch the demo Β· πŸ“£ Read the LinkedIn post Β· πŸ“ Lessons Learned

The opening board: hop the doodle across word tiles and each one adds its word to your sentence for the AI to judge.

Keep an eye out for Easter eggs to find on your adventure.

An "Error 404" pop-up warning that the AI just deleted everything.

Technical Stuff

Once constructed, prompts are sent to an open source implementation of structured outputs, hosted on Modal. The system prompt names the board's targets and asks for the one most similar to your sentence. A single forward pass then scores how likely each candidate label is as the answer. The next-token distribution is masked to the board's labels and softmax-renormalized. The constrained decoding is then made visible as the verdict card's probability bars.

Built for the Build Small Hackathon.

AI Disclaimer

  • All tilesets were handcrafted by me including the core idea for the game and adventure.
  • High level art style direction given by me however all implementation assets generated by Fable 5/Opus 4.8 (exception of background music: Cipher β€” Kevin MacLeod; Corporate Glitch β€” Dmitrii Kolesnikov; Sweet Country Farm Music Full β€” catch22music)