Cover Image

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vijayaraghavan, Prashanth, Nitsure, Apoorva, Shi, Luyao, Mackin, Charles, Jadhav, Ashutosh, Beymer, David, Degan, Ehsan, Mukherjee, Vandana
Format:	Preprint
Published:	2026
Subjects:	Computation and Language Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

VHDL-Eval: A Framework for Evaluating Large Language Models in VHDL Code Generation
by: Vijayaraghavan, Prashanth, et al.
Published: (2024)

CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization
by: Chang, Che-Ming, et al.
Published: (2026)

Chain-of-Descriptions: Improving Code LLMs for VHDL Code Generation and Summarization
by: Vijayaraghavan, Prashanth, et al.
Published: (2025)

AUTOCIRCUIT-RL: Reinforcement Learning-Driven LLM for Automated Circuit Topology Generation
by: Vijayaraghavan, Prashanth, et al.
Published: (2025)

Self-Regulated Data-Free Knowledge Amalgamation for Text Classification
by: Vijayaraghavan, Prashanth, et al.
Published: (2024)

DECASTE: Unveiling Caste Stereotypes in Large Language Models through Multi-Dimensional Bias Analysis
by: Vijayaraghavan, Prashanth, et al.
Published: (2025)

CIRCUITSYNTH: Leveraging Large Language Models for Circuit Topology Synthesis
by: Vijayaraghavan, Prashanth, et al.
Published: (2024)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
by: Ji, Ruyi, et al.
Published: (2022)

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

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

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

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

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

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

NeuroComparatives: Neuro-Symbolic Distillation of Comparative Knowledge
by: Howard, Phillip, et al.
Published: (2023)

Modeling Low-Resource Health Coaching Dialogues via Neuro-Symbolic Goal Summarization and Text-Units-Text Generation
by: Zhou, Yue, et al.
Published: (2024)

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

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

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

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

LoRE: Logit-Ranked Retriever Ensemble for Enhancing Open-Domain Question Answering
by: Sanniboina, Saikrishna, et al.
Published: (2024)

Cohort Retrieval using Dense Passage Retrieval
by: Jadhav, Pranav
Published: (2025)

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

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)

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

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

ICU: Conquering Language Barriers in Vision-and-Language Modeling by Dividing the Tasks into Image Captioning and Language Understanding
by: Wu, Guojun
Published: (2023)

Neuro-Symbolic Synergy for Interactive World Modeling
by: Zhao, Hongyu, et al.
Published: (2026)

Neuro-Symbolic Query Compiler
by: Zhang, Yuyao, et al.
Published: (2025)

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

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

Divide, Reweight, and Conquer: A Logit Arithmetic Approach for In-Context Learning
by: Huang, Chengsong, et al.
Published: (2024)

Piece of Table: A Divide-and-Conquer Approach for Selecting Subtables in Table Question Answering
by: Lee, Wonjin, et al.
Published: (2024)

DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models
by: Cui, Wendi, et al.
Published: (2024)

MathDivide: Improved mathematical reasoning by large language models
by: Srivastava, Saksham Sahai, et al.
Published: (2024)

Try, Check and Retry: A Divide-and-Conquer Framework for Boosting Long-context Tool-Calling Performance of LLMs
by: Chen, Kunfeng, et al.
Published: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, 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)

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