🏗️ Cranelift - shanesveller · Scour

IndustryCode: A Benchmark for Industry Code Generation 📋Lightweight Formal Methods

arxiv.org·2d

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 🎮Bevy

pgenie.io·6d·Lobsters

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation 📋Lightweight Formal Methods

arxiv.org·17h

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation 🔌LSP

arxiv.org·1d

An Iterative Test-and-Repair Framework for Competitive Code Generation 🎮Bevy

arxiv.org·17h

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation 🔌LSP

arxiv.org·1d

From Theory to Practice: Code Generation Using LLMs for CAPEC and CWE Frameworks 🔌LSP

arxiv.org·2d

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design 📋Lightweight Formal Methods

arxiv.org·17h

Vision-Guided Iterative Refinement for Frontend Code Generation 🖥️WGSL

arxiv.org·17h

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization #️⃣BLAKE3

arxiv.org·1d

Ambig-IaC: Multi-level Disambiguation for Interactive Cloud Infrastructure-as-Code Synthesis 🎮Bevy

arxiv.org·2d

Deep Researcher Agent: An Autonomous Framework for 24/7 Deep Learning Experimentation with Zero-Cost Monitoring ⏱️Timely Dataflow

arxiv.org·17h

Precision or Peril: A PoC of Python Code Quality from Quantized Large Language Models 🔌LSP

arxiv.org·2d

DOne: Decoupling Structure and Rendering for High-Fidelity Design-to-Code Generation 🖥️WGSL

arxiv.org·5d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🔣Type Systems

arxiv.org·17h

VoxelCodeBench: Benchmarking 3D World Modeling Through Code Generation 🖥️WGSL

arxiv.org·2d

Evaluating the Environmental Impact of using SLMs and Prompt Engineering for Code Generation 📋Lightweight Formal Methods

arxiv.org·2d

Planning to Explore: Curiosity-Driven Planning for LLM Test Generation 📋Lightweight Formal Methods

arxiv.org·17h

The LLM Effect on IR Benchmarks: A Meta-Analysis of Effectiveness, Baselines, and Contamination 📉Predicate Pushdown

arxiv.org·17h

Learning to Retrieve from Agent Trajectories 🌸Bloom Filters

arxiv.org·17h

Loading more...