outlines
clownfish
outlines | clownfish | |
---|---|---|
33 | 11 | |
5,799 | 303 | |
11.0% | - | |
9.7 | 4.3 | |
6 days ago | 12 months ago | |
Python | Python | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
outlines
-
Infini-Gram: Scaling unbounded n-gram language models to a trillion tokens
> [2]: https://github.com/outlines-dev/outlines?tab=readme-ov-file#...
It's interesting as speech recognition has become more popular than ever through services like Alexa, and other iot devices support for OS speech recognition
Unfortunately most implementations (especially those that are iot focused) don't have very important features for robust speech recognition.
1. Ability to enable and disable a grammar
-
Show HN: LLM-powered NPCs running on your hardware
[4] https://github.com/outlines-dev/outlines/tree/main
-
Advanced RAG with guided generation
The next step is defining how to guide generation. For this step, we'll use the Outlines library. Outlines is a library for controlling how tokens are generated. It applies logic to enforce schemas, regular expressions and/or specific output formats such as JSON.
-
Anthropic's Haiku Beats GPT-4 Turbo in Tool Use
No benchmarks, just my anecdotal experience trying to get local LLM's to respond with JSON. The method above works for my use case nearly 100% of the time. Other things I've tried (e.g. `outlines`[0]) are really slow or don't work at all. Would love to hear what others have tried!
0 - https://github.com/outlines-dev/outlines
-
Show HN: Chess-LLM, using constrained-generation to force LLMs to battle it out
As I was playing with the Outlines library (https://outlines-dev.github.io/outlines/), I discussed with my friend Maxime how funny it would be if we set up a way to pair LLMs in chess matches till one wins. The first time I tried it, it required substantial prompt engineering to get some of those LLMs to propose valid moves. Large language models can mostly stay focused and even play rather well; see https://news.ycombinator.com/item?id=37616170 for example. However small language models aren't as easy to convince.
Some of those LLMs have seen very little chess notation and so after the first few opening moves there aren't any valid tactics, let alone strategy, so they would end up either repeating the same move, or hallucinate moves that are not valid (Kxe5, but there would be a queen on e5!)
Then Outlines came along and we could force them to pick valid moves with little cost! Maxime worked super fast and got a first version of this idea as a gradio space.
I think it is pretty fun to see the (mostly terrible, but otherwise valid) chess that those LLMs play. Maybe it will even be instructive to how we can create small LLMs that can play much better than the ones on the leaderboard.
Anyway, you can check it out here:
https://huggingface.co/spaces/mlabonne/chessllm
What is interactive about it: you can pick the LLMs from available models on HuggingFace (within reason, small LLMs are preferable so that the space does not crash) or push one of your own small models to HF and have it fight with others. At the end of the game the leaderboard is updated.
Hope you find it fun!
-
Show HN: Prompts as (WASM) Programs
> The most obvious usage of this is forcing a model to output valid JSON
Isn't this something that Outlines [0], Guidance [1] and others [2] already solve much more elegantly?
0. https://github.com/outlines-dev/outlines
1. https://github.com/guidance-ai/guidance
2. https://github.com/sgl-project/sglang
- Show HN: Fructose, LLM calls as strongly typed functions
-
Unlocking the frontend – a call for standardizing component APIs pt.2
And I think “just” Markdown doesn’t quite cut it for safe guidance. For example: directly generating content for your components. But I’m really excited about tooling like outlines appearing, with a greater focus on guided generation for structured data. Because this is often what we actually need!
-
Ask HN: What are some actual use cases of AI Agents?
It's pretty easy to force a locally running model to always output valid JSON: when it gives you probabilities for the next tokens, discard all tokens that would result in invalid JSON at that point (basically reverse parsing), and then apply the usual techniques to pick the completion only from the remaining tokens. You can even validate against a JSON schema that way, so long as it is simple enough.
There are a bunch of libraries for this already, e.g.: https://github.com/outlines-dev/outlines
-
Launch HN: AgentHub (YC W24) – A no-code automation platform
https://github.com/outlines-dev/outlines/blob/7fae436345e621... squares with my experience using LLMs for anything real
sequence = generator("Alice had 4 apples and Bob ate 2. Write an expression for Alice's apples:")
clownfish
-
Show HN: LLMs can generate valid JSON 100% of the time
I'm not sure how this is different than:
https://github.com/1rgs/jsonformer
or
https://github.com/newhouseb/clownfish
or
https://github.com/mkuchnik/relm
or
https://github.com/ggerganov/llama.cpp/pull/1773
or
https://github.com/Shopify/torch-grammar
Overall there are a ton of these logit based guidance systems, the reason they don't get tons of traction is the SOTA models are behind REST APIs that don't enable this fine-grained approach.
Those models perform so much better that people generally settle for just re-requesting until they get the correct format (and with GPT-4 that ends up being a fairly rare occurrence in my experience)
- OpenAI Function calling and API updates
-
Adding GPT to a web app. The real experience.
I can see some specific problems there, like malformed json (or json not matching intended schema being generated). Approaches like https://github.com/1rgs/jsonformer and https://github.com/newhouseb/clownfish could be interesting there, as well as approaches to validate outputs like https://medium.com/@markherhold/validating-json-patch-requests-44ca5981a7fc (references jsonpatch which could be interesting as well, but the approach is somewhat agnostic to how the changes actually get applied while still allowing you to enforce structure around what changes and how).
-
When you lose the ability to write, you also lose some of your ability to think
https://github.com/newhouseb/clownfish
Structural Alignment: Modifying Transformers (like GPT) to Follow a JSON Schema
- Clownfish: Constrained Decoding for LLMs Against JSON Schema
-
Jsonformer: A bulletproof way to generate structured output from LLMs
Oh nice! I built a similar system a few weeks ago: https://github.com/newhouseb/clownfish
I think the main differentiating factor here is that this is better if you have a simpler JSON schema without enums or oneOf constraints. If you do have these constraints, i.e. let's say you wanted an array of different types that represented a items on a menu { kind: pizza, toppings: [pepperoni] } or { kind: ice_cream, flavor: vanilla | strawberry } then you would need something more sophisticated like clownfish that can ask the LLM to pick specific properties.
-
Prompt injection: what’s the worst that can happen?
And on the other end, there's https://github.com/newhouseb/clownfish to force the model to produce structured output.
-
Teaching ChatGPT to Speak My Son’s Invented Language
It doesn't help with repetition, but when it comes to force structure on the output data, this approach looks interesting:
https://github.com/newhouseb/clownfish
TL;DR: it exploits the fact that the model returns probabilities for all the possible following tokens to enforce a JSON schema on the output as it is produced, backtracking as needed.
- Structural Alignment: Modifying Transformers (Like GPT) to Follow a JSON Schema
- Structural Alignment of LLMs with ControLogits
What are some alternatives?
guidance - A guidance language for controlling large language models.
jsonformer - A Bulletproof Way to Generate Structured JSON from Language Models
lmql - A language for constraint-guided and efficient LLM programming.
json-schema-spec - The JSON Schema specification
evals - Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.
Constrained-Text-Genera
ChatGPT_DAN - ChatGPT DAN, Jailbreaks prompt
torch-grammar
kodumisto - GitHub Issue as ChatGPT Prompt; ChatGPT's Response as a Pull Request
langroid - Harness LLMs with Multi-Agent Programming
AICommand - ChatGPT integration with Unity Editor