Abstract: Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital very-large-scale-integration design problems. Although useful in many stages of the ...
Abstract: Reversible circuits are an attractive computation model as they theoretically enable computations with close to zero power consumption. Furthermore, reversible circuits found significant ...
Daniel Zhengyu Huang, Tapio Schneider, and Andrew M. Stuart. "Iterated Kalman Methodology For Inverse Problems / Unscented Kalman Inversion." Daniel Zhengyu Huang, Jiaoyang Huang, Sebastian Reich, and ...
SlopCodeBench evaluates coding agents under iterative specification refinement: the agent implements a spec, then extends its own code as the spec changes. This exposes behaviors that single-shot ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results