Gabriel Ryan — accepted AI-conference papers

2026

SemRep: Code Transformation with Semantics-Preserving Representations

Weichen Li, Jiamin Song, Bogdan Stoica, Arav Dhoot, Gabriel Ryan, Shengyu Fu +1

ICML 2026poster

Code transformation is a foundational capability in the software development process, where its effectiveness relies on constructing a high-quality code representation to characterize the input code semantics and guide the transformation. Existing approaches treat code transformation as an end-to-en…

Cited by 0 Source ↗Scholar ↗

2020

CLN2INV: Learning Loop Invariants with Continuous Logic Networks

Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana

ICLR 2020poster

Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the main challenges behind automated verification of real-world programs which often contain many loops. In this paper, we…

Cited by 64 Source ↗Scholar ↗