Proposing Ctrl-G, a neurosymbolic framework that enables arbitrary LLMs to follow logical constraints (length control, infilling …) with 100% guarantees.
Ctrl-G beats GPT4 on the task of text editing by >30% higher satisfaction rate in human eval.
https://t.co/U6oz3bc935
One line, one word. ✏️🔤 A simple #p5js sketch where you draw a line and Gemini tries to describe it in a single word. I find it really fun to have the model write on the canvas with me (wherever drawing finishes). Uses Gemini 1.5 Flash API. Try it + fork/remix my sketch here: https://t.co/Ks5qsmYNH6
chatGPT and @Replit have turned me into a coder who ships productivity-enhancing products. It's an exciting time!
This is a short explanation of what caused that transition from "ships nothing" to "regularly ships." https://t.co/EY0uffUBgd
"Role prompting"... telling the model to assume a role has never been a good way to elicit capabilities/style/etc.
For instance, if you ask one of the Claude models to simulate Bing Sydney, assuming you can get it to consent, the simulation will probably be very inaccurate. But if you use a prompt that tricks them into... See more
Excited to introduce a new project I've been working on called Payman!
Payman is an AI Agent tool that gives Agents the ability to pay people for tasks they cannot do themselves.
While many people imagine a future where humans pay AI agents for services they want completed, I believe... See more