LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language

Documenti analoghi

• SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
  di: Hazra, Rishi, et al.
  Pubblicazione: (2023)
• Two Constraint Compilation Methods for Lifted Planning
  di: Mantenoglou, Periklis, et al.
  Pubblicazione: (2025)
• Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
  di: Hazra, Rishi, et al.
  Pubblicazione: (2025)
• Can Large Language Models Reason? A Characterization via 3-SAT
  di: Hazra, Rishi, et al.
  Pubblicazione: (2024)
• Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
  di: Martires, Pedro Zuidberg Dos, et al.
  Pubblicazione: (2023)