⚙ Rust Macros - emschwartz · Scour

VerilogCL: A Contrastive Learning Framework for Robust LLM-Based Verilog Generation 🕯️Candle ML

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging 📐TLA+

HELIX: Verified compilation of cyber-physical control systems to LLVM IR 📐TLA+

Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation 🪄Prompt Engineering

Surgical Repair of Insecure Code Generation in LLMs 🕳LLM Vulnerabilities

False Security Confidence in Benign LLM Code Generation 🕳LLM Vulnerabilities

RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen 🧮Compute Optimization

LeGo-Code: Can Modular Curriculum Learning Advance Complex Code Generation? Insights from Text-to-SQL 👨‍💻AI Coding

PARM: Pipeline-Adapted Reward Model 📊Model Serving Economics

Software Self-Extension with SelfEvolve: an Agentic Architecture for Runtime Code Generation 💻Coding Agents

Probabilistic Programs of Thought 🧠LLM Inference

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications 📐TLA+

VeriCWEty: Embedding enabled Line-Level CWE Detection in Verilog 🔍Binary Analysis

Majority Voting for Code Generation 👑Leader Election

HiRAS: A Hierarchical Multi-Agent Framework for Paper-to-Code Generation and Execution 💻Coding Agents

On the Generalization Bounds of Symbolic Regression with Genetic Programming 📊Vector Databases

LLM-Based Multi-Agent Systems for Code Generation: A Multi-Vocal Literature Review 💻Coding Agents

Towards More Empathic Programming Environments: An Experimental Empathic AI-Enhanced IDE 💻Coding Agents

Log in to enable infinite scrolling