Copertina

Robust Asynchronous Planning via Auto-Formalization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Jiayi, Yin, Jianing, Zhou, Ben, Zhang, Li
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Limit of Language Models as Planning Formalizers
di: Huang, Cassie, et al.
Pubblicazione: (2024)

Examining the Robustness of Large Language Models across Language Complexity
di: Zhang, Jiayi
Pubblicazione: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
di: He, Muyu, et al.
Pubblicazione: (2025)

Effective Strategies for Asynchronous Software Engineering Agents
di: Geng, Jiayi, et al.
Pubblicazione: (2026)

Efficient PRM Training Data Synthesis via Formal Verification
di: Kamoi, Ryo, et al.
Pubblicazione: (2025)

LLM-AutoDiff: Auto-Differentiate Any LLM Workflow
di: Yin, Li, et al.
Pubblicazione: (2025)

Iterative Formalization and Planning in Partially Observable Environments
di: Gong, Liancheng, et al.
Pubblicazione: (2025)

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

WebShaper: Agentically Data Synthesizing via Information-Seeking Formalization
di: Tao, Zhengwei, et al.
Pubblicazione: (2025)

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

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
di: Hao, Yilun, et al.
Pubblicazione: (2024)

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

Robotouille: An Asynchronous Planning Benchmark for LLM Agents
di: Gonzalez-Pumariega, Gonzalo, et al.
Pubblicazione: (2025)

AutoAct: Automatic Agent Learning from Scratch for QA via Self-Planning
di: Qiao, Shuofei, et al.
Pubblicazione: (2024)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
di: Jiang, Jin, et al.
Pubblicazione: (2025)

AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers
di: Chen, Yongchao, et al.
Pubblicazione: (2023)

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

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
di: Hao, Yilun, et al.
Pubblicazione: (2025)

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

ATTS: Asynchronous Test-Time Scaling via Conformal Prediction
di: Xiong, Jing, et al.
Pubblicazione: (2025)

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

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

Controlled LLM Decoding via Discrete Auto-regressive Biasing
di: Pynadath, Patrick, et al.
Pubblicazione: (2025)

Towards Efficient LLMs Annealing with Principled Sample Selection
di: Xu, Yuanjian, et al.
Pubblicazione: (2026)

Formal Semantic Control over Language Models
di: Zhang, Yingji
Pubblicazione: (2026)

Self-Evolutionary Large Language Models through Uncertainty-Enhanced Preference Optimization
di: Wang, Jianing, et al.
Pubblicazione: (2024)

Generating Leakage-Free Benchmarks for Robust RAG Evaluation
di: Liu, Jiayi, et al.
Pubblicazione: (2026)

APAR: LLMs Can Do Auto-Parallel Auto-Regressive Decoding
di: Liu, Mingdao, et al.
Pubblicazione: (2024)

Auto-Prompt Generation is Not Robust: Prompt Optimization Driven by Pseudo Gradient
di: Shi, Zeru, et al.
Pubblicazione: (2024)

AutoVecCoder: Teaching LLMs to Generate Explicitly Vectorized Code
di: Li, Shangzhan, et al.
Pubblicazione: (2026)

Language Model Planners do not Scale, but do Formalizers?
di: Jiang, Owen, et al.
Pubblicazione: (2026)

AutoPRM: Automating Procedural Supervision for Multi-Step Reasoning via Controllable Question Decomposition
di: Chen, Zhaorun, et al.
Pubblicazione: (2024)

Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoder
di: Zhang, Yingji, et al.
Pubblicazione: (2025)

Semformer: Transformer Language Models with Semantic Planning
di: Yin, Yongjing, et al.
Pubblicazione: (2024)

Language Model as Planner and Formalizer under Constraints
di: Huang, Cassie, et al.
Pubblicazione: (2025)

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

Graph-enhanced Large Language Models in Asynchronous Plan Reasoning
di: Lin, Fangru, et al.
Pubblicazione: (2024)

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

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

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