Ooh, this is what I've been looking for! But I agree with pbazarnik that their benchmark are still tackling with toy-level problems. Bits operations, Karnaugh

Ooh, this is what I've been looking for! But I agree with pbazarnik that their benchmark are still tackling with toy-level problems. Bits operations, Karnaugh map and other stuff are just one-level of transformation logic, really want to see more in-depth examples such as high-speed circuit optimization (say a clk over 600MHz), complex filters and PID controls, etc. Wouldn't hurt even if they only achieve 20% correctness on these problems, as long as the approach can work once every few times.