2 citations · 4 across the 4 of their papers we have counts for
4 papers
Toward a Complete Criterion for Value of Information in Insoluble Decision Problems
Ryan Carey, Sanghack Lee, Robin J. Evans
In a decision problem, observations are said to be material if they must be taken into account to perform optimally. Decision problems have an underlying (graphical) causal structu…
DE-HNN: An effective neural model for Circuit Netlist representation
Zhishang Luo, Truong Son Hy, Puoya Tabaghi +7
The run-time for optimization tools used in chip design has grown with the complexity of designs to the point where it can take several days to go through one design cycle which ha…
Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits
Chenhui Deng, Zichao Yue, Cunxi Yu +4
While graph neural networks (GNNs) have gained popularity for learning circuit representations in various electronic design automation (EDA) tasks, they face challenges in scalabil…
Human Control: Definitions and Algorithms
Ryan Carey, Tom Everitt
How can humans stay in control of advanced artificial intelligence systems? One proposal is corrigibility, which requires the agent to follow the instructions of a human overseer,…