🏗️ 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·18h

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

arxiv.org·18h

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

arxiv.org·1d

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

arxiv.org·18h

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

arxiv.org·5d

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

arxiv.org·1d

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

arxiv.org·18h

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

arxiv.org·2d

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

arxiv.org·18h

MM-ReCoder: Advancing Chart-to-Code Generation with Reinforcement Learning and Self-Correction 🔧Constraint Solvers

arxiv.org·5d

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

arxiv.org·1d

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

arxiv.org·18h

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

arxiv.org·2d

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

arxiv.org·18h

Anomalous scaling in redirection networks 🕸️Graph Algorithms

arxiv.org·5d

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

arxiv.org·2d

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

arxiv.org·18h

Learning to Retrieve from Agent Trajectories 🌸Bloom Filters

arxiv.org·18h

Loading more...