The rapid development of large language models (LLMs) has opened new avenues across
various fields, including cybersecurity, which faces an evolving threat landscape and …

We introduce a novel approach to program synthesis that decomposes complex functional
tasks into simpler relational synthesis sub-tasks. We demonstrate the effectiveness of our …

We present that hierarchical LLM reasoning via scaling thought templates can effectively
optimize the reasoning search space and outperform the mathematical reasoning …

Large Language Models (LLMs) have demonstrated impressive capabilities in generating
code, yet they often produce programs with flaws or deviations from intended behavior …

The rapid development of large language models (LLMs) has opened new avenues across
various fields, including cybersecurity, which faces an evolving threat landscape and …