⚙️ Compilers - cpt · Scour

Rose-SQL: Role-State Evolution Guided Structured Reasoning for Multi-Turn Text-to-SQL 📐Language Theory

Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks 🧩programming

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping 🧩programming

Towards Definitional Interpreters for Hoare Logics 📐Language Theory

LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering 🧩programming

OGPO: Sample Efficient Full-Finetuning of Generative Control Policies 📐Language Theory

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code 🎰Bytecode VMs

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation 🧩programming

Nora: Normalized Orthogonal Row Alignment for Scalable Matrix Optimizer 🧩programming

Decouple before Integration: Test-time Synthesis of SFT and RLVR Task Vectors 🧩programming

Relation Reasoning with LLMs in Expensive Optimization 📐Language Theory

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version) 🧩programming

Enhanced LLM Reasoning by Optimizing Reward Functions with Search-Driven Reinforcement Learning 📐Language Theory

RAG over Thinking Traces Can Improve Reasoning Tasks 📐Language Theory

Geographic Variation in Stack Overflow Code Quality: Evidence from a Cross-Regional Study of Coding Practices 🧩programming

EGREFINE: An Execution-Grounded Optimization Framework for Text-to-SQL Schema Refinement 📐Language Theory

RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design 🎰Bytecode VMs

Learning Dynamics of Zeroth-Order Optimization: A Kernel Perspective 📐Language Theory

Strategy-Aware Optimization Modeling with Reasoning LLMs 📐Language Theory

Exploring Pass-Rate Reward in Reinforcement Learning for Code Generation 🧩programming

Log in to enable infinite scrolling