Claim Synthesis via Predicate Recycling.

Yonatan Bilu, Noam Slonim

Browse the full ACL paper archive.