Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Constrained Decoding on LogicBench

98.5Constraint Satisfaction

MetaJuLS

92.05293.72695.497.074Dec 31, 2025
Updated 3mo ago

Evaluation Results

MethodLinks
2025.12
98.579.567
2025.12
98.279.479
2025.12
97.178.8125
2025.12
96.578.5134
2025.12
96.279.1158
2025.12
94.178.3142
2025.12
92.377.8168