syntactic correctness

3 papers

• $\texttt{STRCMP}$: Integrating Graph Structural Priors with Language Models for Combinatorial Optimization
• Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
• SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning