Cover Image

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ji, Ruyi, Zhao, Yuwei, Xiong, Yingfei, Wang, Di, Zhang, Lu, Hu, Zhenjiang
Format:	Preprint
Published:	2022
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Equality Saturation Guided by Large Language Models
by: Peng, Wentao, et al.
Published: (2025)

Proving Functional Program Equivalence via Directed Lemma Synthesis
by: Sun, Yican, et al.
Published: (2024)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
by: Vijayaraghavan, Prashanth, et al.
Published: (2026)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
by: Huang, Zhechong, et al.
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
by: Dong, Rui, et al.
Published: (2026)

When Does Divide and Conquer Work for Long Context LLM? A Noise Decomposition Framework
by: Xu, Zhen, et al.
Published: (2025)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
by: Liang, Qingyuan, et al.
Published: (2025)

Enhancing LLM Character-Level Manipulation via Divide and Conquer
by: Xiong, Zhen, et al.
Published: (2025)

Hierarchical Divide-and-Conquer for Fine-Grained Alignment in LLM-Based Medical Evaluation
by: Zheng, Shunfan, et al.
Published: (2025)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

Control Large Language Models via Divide and Conquer
by: Li, Bingxuan, et al.
Published: (2024)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
by: Castronuovo, Niccolo', et al.
Published: (2025)

DCIS: Efficient Length Extrapolation of LLMs via Divide-and-Conquer Scaling Factor Search
by: Yang, Lei, et al.
Published: (2024)

DCR: Divide-and-Conquer Reasoning for Multi-choice Question Answering with LLMs
by: Meng, Zijie, et al.
Published: (2024)

Are Programming Paradigms Paradigms? A Critical Examination of Floyd's Appropriation of Kuhn's Philosophy
by: Kiasari, Peyman M.
Published: (2025)

OmAgent: A Multi-modal Agent Framework for Complex Video Understanding with Task Divide-and-Conquer
by: Zhang, Lu, et al.
Published: (2024)

Divide, Cache, Conquer: Dichotomic Prompting for Efficient Multi-Label LLM-Based Classification
by: Langner, Mikołaj, et al.
Published: (2025)

Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability
by: Liang, Xiao, et al.
Published: (2026)

Divide-or-Conquer? Which Part Should You Distill Your LLM?
by: Wu, Zhuofeng, et al.
Published: (2024)

AgentGroupChat-V2: Divide-and-Conquer Is What LLM-Based Multi-Agent System Need
by: Gu, Zhouhong, et al.
Published: (2025)

An Examination on the Effectiveness of Divide-and-Conquer Prompting in Large Language Models
by: Zhang, Yizhou, et al.
Published: (2024)

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
by: Shi, Kensen, et al.
Published: (2023)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
by: Wang, Zhiyi, et al.
Published: (2025)

Learning Task Decomposition to Assist Humans in Competitive Programming
by: Wen, Jiaxin, et al.
Published: (2024)

Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation
by: Chen, Jingchang, et al.
Published: (2024)

Divide and Conquer: Accelerating Diffusion-Based Large Language Models via Adaptive Parallel Decoding
by: Luo, Xiangzhong, et al.
Published: (2026)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
by: Li, Tianchi, et al.
Published: (2026)

Fine-grained Verbal Attack Detection via a Hierarchical Divide-and-Conquer Framework
by: Zheng, Quan, et al.
Published: (2026)

Long Context Scaling: Divide and Conquer via Multi-Agent Question-driven Collaboration
by: Xiao, Sibo, et al.
Published: (2025)

Efficient Decrease-and-Conquer Linearizability Monitoring
by: Han, Lee Zheng, et al.
Published: (2024)

Self-DC: When to Reason and When to Act? Self Divide-and-Conquer for Compositional Unknown Questions
by: Wang, Hongru, et al.
Published: (2024)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
by: Foo, Yong Qi, et al.
Published: (2025)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
by: Wang, Shuling, et al.
Published: (2024)

Divide and Conquer: A Hybrid Strategy Defeats Multimodal Large Language Models
by: Mao, Yanxu, et al.
Published: (2024)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
by: Shaikhha, Amir, et al.
Published: (2025)

Sound Interval-Based Synthesis for Probabilistic Programs
by: Espada, Guilherme, et al.
Published: (2025)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
by: Muravev, Ilia
Published: (2024)

Composable Effect Handling for Programming LLM-integrated Scripts
by: Wang, Di
Published: (2025)