⚙️ Compilers - amy.throwaway.lovely · Scour

Automating Database-Native Function Code Synthesis with LLMs 🧮Symbolic Execution

arxiv.org·1d

SkillRT: Compiling Skills for Efficient Execution Everywhere ⚡JIT Exploitation

arxiv.org·4d

ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision? 🔀Concolic Execution

arxiv.org·1h

Program Analysis Guided LLM Agent for Proof-of-Concept Generation ✅Formal Verification

arxiv.org·1h

SQLStructEval: Structural Evaluation of LLM Text-to-SQL Generation 🧩Intermediate Representation

arxiv.org·1d

From Theory to Practice: Code Generation Using LLMs for CAPEC and CWE Frameworks 🔀Concolic Execution

arxiv.org·4d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 🛡️Exploit Mitigations

arxiv.org·1h

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation 🧮Symbolic Execution

arxiv.org·2d

EditCaption: Human-Aligned Instruction Synthesis for Image Editing via Supervised Fine-Tuning and Direct Preference Optimization 🧩Intermediate Representation

arxiv.org·1h

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations ✅Formal Verification

arxiv.org·1d

IndustryCode: A Benchmark for Industry Code Generation ⚡JIT Exploitation

arxiv.org·4d

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets 💾Binary Analysis

arxiv.org·1h

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design 🔌Hardware Security

arxiv.org·2d

From LLM to Silicon: RL-Driven ASIC Architecture Exploration for On-Device AI Inference 🔌Hardware Security

arxiv.org·1h

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔣Type Systems

arxiv.org·2d

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 🔣Type Systems

arxiv.org·4d

Multi-Modal Learning meets Genetic Programming: Analyzing Alignment in Latent Space Optimization 🧩Intermediate Representation

arxiv.org·1h

Vision-Guided Iterative Refinement for Frontend Code Generation 🧮Symbolic Execution

arxiv.org·2d

Large Language Model Post-Training: A Unified View of Off-Policy and On-Policy Learning 🧩Intermediate Representation

arxiv.org·1h

VoxelCodeBench: Benchmarking 3D World Modeling Through Code Generation 🧮Symbolic Execution

arxiv.org·4d

Loading more...