:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Theocharis, Constantine, Brady, Edwin
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2505.21225
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Type Theory With Erasure
by: Theocharis, Constantine, et al.
Published: (2026)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
by: Yang, Ziyi, et al.
Published: (2025)

Inductive diagrams for causal reasoning
by: Castello, Jonathan, et al.
Published: (2023)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
by: Brady, Seamus
Published: (2026)

Frex: dependently-typed algebraic simplification
by: Allais, Guillaume, et al.
Published: (2023)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
by: Xue, Anton, et al.
Published: (2026)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
by: Estep, Sam
Published: (2024)

Reconsidering "Reconsidering Custom Memory Allocation"
by: van Kempen, Nicolas, et al.
Published: (2026)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
by: Elad, Neta, et al.
Published: (2025)

Customizing Static Analysis using Codesearch
by: Hayoun, Avi, et al.
Published: (2024)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

CRDT Emulation, Simulation, and Representation Independence
by: Liittschwager, Nathan, et al.
Published: (2025)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
by: DeLorenzo, Matthew, et al.
Published: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
by: Agarwal, Shubham, et al.
Published: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
by: Luo, Ziyan, et al.
Published: (2023)

Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
by: Chen, Sibei, et al.
Published: (2024)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, et al.
Published: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
by: Li, Jia, et al.
Published: (2024)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators
by: Paul, Indraneil, et al.
Published: (2024)

CuTe Layout Representation and Algebra
by: Cecka, Cris
Published: (2026)

HUGR: A Quantum-Classical Intermediate Representation
by: Koch, Mark, et al.
Published: (2025)

Learning Structure-Aware Representations of Dependent Types
by: Kogkalidis, Konstantinos, et al.
Published: (2024)

Internalizing Representation Independence with Univalence
by: Angiuli, Carlo, et al.
Published: (2020)

Emergent Representations of Program Semantics in Language Models Trained on Programs
by: Jin, Charles, et al.
Published: (2023)

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
by: Agostini, Nicolas Bohm, et al.
Published: (2023)

ProgramAlly: Creating Custom Visual Access Programs via Multi-Modal End-User Programming
by: Herskovitz, Jaylin, et al.
Published: (2024)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
by: Liang, Qingyuan, et al.
Published: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
by: Njungle, Nges Brian, et al.
Published: (2026)

An Intermediate Program Representation for Optimizing Stream-Based Languages
by: Baumeister, Jan, et al.
Published: (2025)

A Formal Semantics of the GraalVM Intermediate Representation
by: Webb, Brae J., et al.
Published: (2021)

Family Literacy in Action: The Prime Time Family Reading Time Program.
by: Langley, Linda Parker, et al.
Published: (2001)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
by: Wu, Guanxuan, et al.
Published: (2024)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
by: Yang, Ziyi, et al.
Published: (2026)