most citedAICircuit: A Multi-Level Dataset and Benchmark for AI-Driven Analog Integrated Circuit Design

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory

Yue Niu, Jonathan Sterling, Robert Harper

We study a cost-aware programming language for higher-order recursion dubbed in the setting of synthetic domain theory (SDT). Our main contribution rel…