llama.cpp
JSON schema conversion: ⚡️ faster repetitions, min/maxLength for strings, cap number length
#6555
Merged

JSON schema conversion: ⚡️ faster repetitions, min/maxLength for strings, cap number length #6555

ochafik
json: rename python schema converter to make import easier
2148f244
server: skip null json_schema / grammar fields
f771a8f1
json: deps management for primitive rules (+ allow null values)
159b883b
json: optimize repetitions for minItems/maxItems and regexps: `a{,3}`…
a59e9431
grammars: add troubleshooting section to readme
07163fb6
json: cap length of numbers to 15 digits before/after decimal point
dcf5d328
json: unify all repetition code (w/ or w/o sep)
181f984d
json: support string minLength/maxLength
de4e60ea
server+json: update server/README w/ result_format
6c885dce
nits
3c81e944
json: fix type error w/ python 3.8
67a5184f
github-actions
ochafik ochafik marked this pull request as ready for review 1 year ago
ochafik ochafik changed the title JSON schema conversion: faster repetitions, min/maxLength for strings, cap number length JSON schema conversion: ⚡️ faster repetitions, min/maxLength for strings, cap number length 1 year ago
json: fix server/README (json_schema in /completion vs. result_format…
9c33ee99
HanClinto
HanClinto commented on 2024-04-10
HanClinto
ochafik
HanClinto
HanClinto commented on 2024-04-10
HanClinto
HanClinto commented on 2024-04-11
HanClinto
HanClinto commented on 2024-04-11
json: simplify DOT `{"type": "string", "pattern": "^.$"}`
ed13d47c
Merge remote-tracking branch 'origin/master' into json-faster-repetit…
958bdda5
json: remove recursion in opt_repetitions (avoids Python stack overflow)
64e30590
ochafik
json: rm dead code
ba90d5b7
json: rm useless assert & ggml.h import
dfd4eb3a
HanClinto
HanClinto commented on 2024-04-12
HanClinto
HanClinto approved these changes on 2024-04-12
ochafik
ochafik ochafik merged ab9a3240 into master 1 year ago
HanClinto

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone