Fine-Tuning Language Models Using Formal Methods Feedback

Documenti analoghi

• LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
  di: Yang, Yunhao, et al.
  Pubblicazione: (2025)
• Joint Verification and Refinement of Language Models for Safety-Constrained Planning
  di: Yang, Yunhao, et al.
  Pubblicazione: (2024)
• RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
  di: Yang, Yunhao, et al.
  Pubblicazione: (2025)
• Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
  di: Yang, Yunhao, et al.
  Pubblicazione: (2025)
• Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
  di: Yang, Yunhao, et al.
  Pubblicazione: (2023)