🏭 Compiler Backends - matmat · Scour

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

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation 🧩WASM Components

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation ⚔️Lean Tactics

HELIX: Verified compilation of cyber-physical control systems to LLVM IR ⚖️RISC-V Formal

SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution 🦀Rust Macros

From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation 🏗️Compiler Archaeology

Layer-wise MoE Routing Locality under Shared-Prefix Code Generation: Token-Identity Decomposition and Compile-Equivalent Fork Redundancy 📼Cassette Combinators

Learning Reasoning World Models for Parallel Code ⚡Z3 Optimization

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

Automatic Code and Test Generation of Smart Contracts from Coordination Models ⚔️Lean Tactics

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

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

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

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

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

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

Majority Voting for Code Generation 📐E-graphs

False Security Confidence in Benign LLM Code Generation 🧪CBOR Fuzzing

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

Probabilistic Programs of Thought 🔲Cellular Automata

No more posts from matmat's subscribed feeds.

Scour all 24374 feeds Learn more about Feeds

Log in to enable infinite scrolling