Buchumschlag

Robust Asynchronous Planning via Auto-Formalization

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Jiayi, Yin, Jianing, Zhou, Ben, Zhang, Li
Format:	Preprint
Veröffentlicht:	2026
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

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

Examining the Robustness of Large Language Models across Language Complexity
von: Zhang, Jiayi
Veröffentlicht: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
von: He, Muyu, et al.
Veröffentlicht: (2025)

Effective Strategies for Asynchronous Software Engineering Agents
von: Geng, Jiayi, et al.
Veröffentlicht: (2026)

Efficient PRM Training Data Synthesis via Formal Verification
von: Kamoi, Ryo, et al.
Veröffentlicht: (2025)

LLM-AutoDiff: Auto-Differentiate Any LLM Workflow
von: Yin, Li, et al.
Veröffentlicht: (2025)

Iterative Formalization and Planning in Partially Observable Environments
von: Gong, Liancheng, et al.
Veröffentlicht: (2025)

DeferMem: Query-Time Evidence Distillation via Reinforcement Learning for Long-Term Memory QA
von: Yin, Jianing, et al.
Veröffentlicht: (2026)

WebShaper: Agentically Data Synthesizing via Information-Seeking Formalization
von: Tao, Zhengwei, et al.
Veröffentlicht: (2025)

AutoCAP: Towards Automatic Cross-lingual Alignment Planning for Zero-shot Chain-of-Thought
von: Zhang, Yongheng, et al.
Veröffentlicht: (2024)

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
von: Hao, Yilun, et al.
Veröffentlicht: (2024)

UniAutoML: A Human-Centered Framework for Unified Discriminative and Generative AutoML with Large Language Models
von: Guo, Jiayi, et al.
Veröffentlicht: (2024)

Robotouille: An Asynchronous Planning Benchmark for LLM Agents
von: Gonzalez-Pumariega, Gonzalo, et al.
Veröffentlicht: (2025)

AutoAct: Automatic Agent Learning from Scratch for QA via Self-Planning
von: Qiao, Shuofei, et al.
Veröffentlicht: (2024)

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

AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers
von: Chen, Yongchao, et al.
Veröffentlicht: (2023)

Bringing Pedagogy into Focus: Evaluating Virtual Teaching Assistants' Question-Answering in Asynchronous Learning Environments
von: Siyan, Li, et al.
Veröffentlicht: (2025)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
von: Hao, Yilun, et al.
Veröffentlicht: (2025)

Specializing Large Models for Oracle Bone Script Interpretation via Component-Grounded Multimodal Knowledge Augmentation
von: Zhang, Jianing, et al.
Veröffentlicht: (2026)

ATTS: Asynchronous Test-Time Scaling via Conformal Prediction
von: Xiong, Jing, et al.
Veröffentlicht: (2025)

Cross-modal Consistency Guidance for Robust Emotion Control in Auto-Regressive TTS Models
von: Peng, Yizhou, et al.
Veröffentlicht: (2025)

Relax: An Asynchronous Reinforcement Learning Engine for Omni-Modal Post-Training at Scale
von: Zhang, Liujie, et al.
Veröffentlicht: (2026)

Controlled LLM Decoding via Discrete Auto-regressive Biasing
von: Pynadath, Patrick, et al.
Veröffentlicht: (2025)

Towards Efficient LLMs Annealing with Principled Sample Selection
von: Xu, Yuanjian, et al.
Veröffentlicht: (2026)

Formal Semantic Control over Language Models
von: Zhang, Yingji
Veröffentlicht: (2026)

Self-Evolutionary Large Language Models through Uncertainty-Enhanced Preference Optimization
von: Wang, Jianing, et al.
Veröffentlicht: (2024)

Generating Leakage-Free Benchmarks for Robust RAG Evaluation
von: Liu, Jiayi, et al.
Veröffentlicht: (2026)

APAR: LLMs Can Do Auto-Parallel Auto-Regressive Decoding
von: Liu, Mingdao, et al.
Veröffentlicht: (2024)

Auto-Prompt Generation is Not Robust: Prompt Optimization Driven by Pseudo Gradient
von: Shi, Zeru, et al.
Veröffentlicht: (2024)

AutoVecCoder: Teaching LLMs to Generate Explicitly Vectorized Code
von: Li, Shangzhan, et al.
Veröffentlicht: (2026)

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

AutoPRM: Automating Procedural Supervision for Multi-Step Reasoning via Controllable Question Decomposition
von: Chen, Zhaorun, et al.
Veröffentlicht: (2024)

Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoder
von: Zhang, Yingji, et al.
Veröffentlicht: (2025)

Semformer: Transformer Language Models with Semantic Planning
von: Yin, Yongjing, et al.
Veröffentlicht: (2024)

Language Model as Planner and Formalizer under Constraints
von: Huang, Cassie, 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)

Graph-enhanced Large Language Models in Asynchronous Plan Reasoning
von: Lin, Fangru, et al.
Veröffentlicht: (2024)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
von: Yang, Xiao-Wen, et al.
Veröffentlicht: (2025)

Unified Enhancement of the Generalization and Robustness of Language Models via Bi-Stage Optimization
von: Sun, Yudao, et al.
Veröffentlicht: (2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
von: Wang, Ruida, et al.
Veröffentlicht: (2025)