Search
 
   

2 results for "domain:openreview.net"

  1. 7
    HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving pdf math openreview.net
    sanxiyn avatar via sanxiyn 1 year ago | cached | no comments
  2. 3
    A Differentiable Physics Engine for Deep Learning in Robotics ☶ pdf math practices openreview.net
    friendlysock avatar via friendlysock 1 year ago | cached | no comments