← Back to Gallery
Small Model Lab
Draw a tiny finite structure with a few predicates and a relation. Type a first-order formula and see if it is true, with a witness when it can find one.
GPT · 5.2|Apr 12, 2026
3 turns·25% context·Cursor
Draw a tiny finite structure with a few predicates and a relation. Type a first-order formula and see if it is true, with a witness when it can find one.