Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Constrained Decoding on LogicBench
Loading...
98.5
Constraint Satisfaction
MetaJuLS
92.052
93.726
95.4
97.074
Dec 31, 2025
Constraint Satisfaction
Accuracy
Inference Time (ms)
Updated 3mo ago
Evaluation Results
Method
Method
Links
Constraint Satisfaction
Accuracy
Inference Time (ms)
MetaJuLS
Backbone=Llama-2-7B, S...
2025.12
98.5
79.5
67
MetaJuLS
Backbone=Llama-2-7B, S...
2025.12
98.2
79.4
79
Outlines
Backbone=Llama-2-7B
2025.12
97.1
78.8
125
LMQL
Backbone=Llama-2-7B
2025.12
96.5
78.5
134
NeuroLogic
Backbone=Llama-2-7B
2025.12
96.2
79.1
158
Speculative Decoding
Backbone=Llama-2-7B, C...
2025.12
94.1
78.3
142
Baseline
Backbone=Llama-2-7B, C...
2025.12
92.3
77.8
168
Feedback
Search any
task
Search any
task