⬆️ Lambda Lifting - matmat · Scour

RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen 🎯Performance Proofs

Exploring LLM-based Verilog Code Generation with Data-Efficient Fine-Tuning and Testbench Automation 🔍FPGA Verification

False Security Confidence in Benign LLM Code Generation 🧪CBOR Fuzzing

Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation 🧩WASM Components

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging 🔧Hardware Verification

LeGo-Code: Can Modular Curriculum Learning Advance Complex Code Generation? Insights from Text-to-SQL 📐Binary Grammars

VerilogCL: A Contrastive Learning Framework for Robust LLM-Based Verilog Generation ⚡Circuit Verification

Cloud-native and Distributed Systems for Efficient and Scalable Large Language Models -- A Research Agenda 🌊Streaming Systems

VeriCWEty: Embedding enabled Line-Level CWE Detection in Verilog 🧪Binary Fuzzing

HYPERHEURIST: A Simulated Annealing-Based Control Framework for LLM-Driven Code Generation in Optimized Hardware Design ⚡Homebrew CPUs

Probabilistic Programs of Thought 🔲Cellular Automata

HiRAS: A Hierarchical Multi-Agent Framework for Paper-to-Code Generation and Execution ✨Effect Handlers

PARM: Pipeline-Adapted Reward Model ⚡Incremental Computation

Towards More Empathic Programming Environments: An Experimental Empathic AI-Enhanced IDE 🎙️Whisper

LLM-Based Multi-Agent Systems for Code Generation: A Multi-Vocal Literature Review 🧩WASM Components

Majority Voting for Code Generation 📐E-graphs

SOCIA-EVO: Automated Simulator Construction via Dual-Anchored Bi-Level Optimization 🌍Cultural Algorithms

Co-evolving Agent Architectures and Interpretable Reasoning for Automated Optimization ⚡Incremental Computation

AIT Academy: Cultivating the Complete Agent with a Confucian Three-Domain Curriculum 🔐Capability Systems

Log in to enable infinite scrolling