paper_type.json (295B)
1 { 2 "paper_type": "empirical", 3 "reason": "Presents a logically constrained decoding technique and demonstrates its effectiveness through quantitative experiments on chess and proof generation tasks, with specific numerical results showing dramatic improvements over unconstrained baselines." 4 }