🦀 Rust - DiToast · Scour

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment ⚙Functional Programming

arxiv.org·4d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 🔍Static Analysis

arxiv.org·2d

Test-Oriented Programming: rethinking coding for the GenAI era 🔍Static Analysis

arxiv.org·11h

SkillClaw: Let Skills Evolve Collectively with Agentic Evolver ⚙Functional Programming

arxiv.org·11h

Detecting and Explaining (In-)equivalence of Context-Free Grammars ⚙Functional Programming

arxiv.org·1d

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets 🤝Protocol Design

arxiv.org·4d

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover ⚙Functional Programming

arxiv.org·11h

QiMeng-PRepair: Precise Code Repair via Edit-Aware Reward Optimization 🎲Probabilistic Programming

arxiv.org·2d

Log-based, Business-aware REST API Testing 🔍Static Analysis

arxiv.org·11h

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels 🔍Static Analysis

arxiv.org·2d

SkillRT: Compiling Skills for Efficient Execution Everywhere 🔍Static Analysis

arxiv.org·4d

From Papers to Property Tables: A Priority-Based LLM Workflow for Materials Data Extraction 🧬Hygienic Macros

arxiv.org·11h

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits ⚙Functional Programming

arxiv.org·1d

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology ⚙Functional Programming

arxiv.org·11h

SALLIE: Safeguarding Against Latent Language & Image Exploits ⚙Functional Programming

arxiv.org·1d

MinerU2.5-Pro: Pushing the Limits of Data-Centric Document Parsing at Scale 🎲Probabilistic Programming

arxiv.org·3d

Security Concerns in Generative AI Coding Assistants: Insights from Online Discussions on GitHub Copilot 📣Software Criticism

arxiv.org·11h

Tokalator: A Context Engineering Toolkit for Artificial Intelligence Coding Assistants 📣Software Criticism

arxiv.org·11h

LASER: A Data-Centric Method for Low-Cost and Efficient SQL Rewriting based on SQL-GRPO 🎲Probabilistic Programming

arxiv.org·1d

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition 🔍Static Analysis

arxiv.org·4d

Loading more...