Buchumschlag

Vision Language Models Cannot Plan, but Can They Formalize?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	He, Muyu, Zheng, Yuxi, Liu, Yuchen, An, Zijian, Cai, Bill, Huang, Jiani, Zhou, Lifeng, Liu, Feng, Li, Ziyang, Zhang, Li
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games
von: Yuan, Yuan, et al.
Veröffentlicht: (2025)

On the Limit of Language Models as Planning Formalizers
von: Huang, Cassie, et al.
Veröffentlicht: (2024)

ColorBlindnessEval: Can Vision-Language Models Pass Color Blindness Tests?
von: Ling, Zijian, et al.
Veröffentlicht: (2025)

Large Language Models Cannot Self-Correct Reasoning Yet
von: Huang, Jie, et al.
Veröffentlicht: (2023)

Policy-Guided World Model Planning for Language-Conditioned Visual Navigation
von: Chahe, Amirhosein, et al.
Veröffentlicht: (2026)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
von: Jiang, Jin, et al.
Veröffentlicht: (2025)

SimulBench: Evaluating Language Models with Creative Simulation Tasks
von: Jia, Qi, et al.
Veröffentlicht: (2024)

3ViewSense: Spatial and Mental Perspective Reasoning from Orthographic Views in Vision-Language Models
von: Zhan, Shaoxiong, et al.
Veröffentlicht: (2026)

Robust Asynchronous Planning via Auto-Formalization
von: Zhang, Jiayi, et al.
Veröffentlicht: (2026)

CodeJudge-Eval: Can Large Language Models be Good Judges in Code Understanding?
von: Zhao, Yuwei, et al.
Veröffentlicht: (2024)

Formal Aspects of Language Modeling
von: Cotterell, Ryan, et al.
Veröffentlicht: (2023)

Vision-Language Models Can Self-Improve Reasoning via Reflection
von: Cheng, Kanzhi, et al.
Veröffentlicht: (2024)

VL-RewardBench: A Challenging Benchmark for Vision-Language Generative Reward Models
von: Li, Lei, et al.
Veröffentlicht: (2024)

LLM-as-a-Judge & Reward Model: What They Can and Cannot Do
von: Son, Guijin, et al.
Veröffentlicht: (2024)

Unifying Inference-Time Planning Language Generation
von: Kagitha, Prabhu Prakash, et al.
Veröffentlicht: (2025)

Language Model Planners do not Scale, but do Formalizers?
von: Jiang, Owen, et al.
Veröffentlicht: (2026)

Language Model as Planner and Formalizer under Constraints
von: Huang, Cassie, et al.
Veröffentlicht: (2025)

UrbanPlanBench: A Comprehensive Urban Planning Benchmark for Evaluating Large Language Models
von: Zheng, Yu, et al.
Veröffentlicht: (2025)

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
von: Hao, Yilun, et al.
Veröffentlicht: (2024)

WildVision: Evaluating Vision-Language Models in the Wild with Human Preferences
von: Lu, Yujie, et al.
Veröffentlicht: (2024)

The Valley of Code Reasoning: Scaling Knowledge Distillation of Large Language Models
von: He, Muyu, et al.
Veröffentlicht: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
von: Li, Zelong, et al.
Veröffentlicht: (2024)

Can Large Language Models Automatically Jailbreak GPT-4V?
von: Wu, Yuanwei, et al.
Veröffentlicht: (2024)

Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?
von: He, Yancheng, et al.
Veröffentlicht: (2025)

Commonsense-T2I Challenge: Can Text-to-Image Generation Models Understand Commonsense?
von: Fu, Xingyu, et al.
Veröffentlicht: (2024)

On Memorization of Large Language Models in Logical Reasoning
von: Xie, Chulin, et al.
Veröffentlicht: (2024)

Can Vision-Language Models Solve the Shell Game?
von: Liu, Tiedong, et al.
Veröffentlicht: (2026)

PlanGPT-VL: Enhancing Urban Planning with Domain-Specific Vision-Language Models
von: Zhu, He, et al.
Veröffentlicht: (2025)

FroM: Frobenius Norm-Based Data-Free Adaptive Model Merging
von: Li, Zijian, et al.
Veröffentlicht: (2025)

Relational Programming with Foundation Models
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Can Language Models Learn to Skip Steps?
von: Liu, Tengxiao, et al.
Veröffentlicht: (2024)

Safe + Safe = Unsafe? Exploring How Safe Images Can Be Exploited to Jailbreak Large Vision-Language Models
von: Cui, Chenhang, et al.
Veröffentlicht: (2024)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
von: Liu, Chengwu, et al.
Veröffentlicht: (2025)

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
von: Pan, Muyu, et al.
Veröffentlicht: (2025)

PlanGPT: Enhancing Urban Planning with Tailored Language Model and Efficient Retrieval
von: Zhu, He, et al.
Veröffentlicht: (2024)

Large Language Models Cannot Reliably Detect Vulnerabilities in JavaScript: The First Systematic Benchmark and Evaluation
von: Fei, Qingyuan, et al.
Veröffentlicht: (2025)

CAF-I: A Collaborative Multi-Agent Framework for Enhanced Irony Detection with Large Language Models
von: Liu, Ziqi., et al.
Veröffentlicht: (2025)

On the Superimposed Noise Accumulation Problem in Sequential Knowledge Editing of Large Language Models
von: Cao, Ding, et al.
Veröffentlicht: (2025)

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
von: Xia, Renqiu, et al.
Veröffentlicht: (2024)

Advancing Text Classification with Large Language Models and Neural Attention Mechanisms
von: Lyu, Ning, et al.
Veröffentlicht: (2025)