🔀 Galois Connections - tiferrei · Scour

A Categorical Basis for Robust Program Analysis 🔬Static Analysis

arxiv.org·22h

Program Analysis: A Pragmatic Approach 🔬Static Analysis

homes.cs.washington.edu·6d·Lobsters

$\lambda_A$: A Typed Lambda Calculus for LLM Agent Composition 💎Refinement Types

arxiv.org·22h

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 🤖Program Synthesis

arxiv.org·6d

Points-to Analysis Using MDE: A Multi-level Deduplication Engine for Repetitive Data and Operations 📦Opam

arxiv.org·22h

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🤖Program Synthesis

arxiv.org·4d