2 citations · 5 across the 8 of their papers we have counts for
1 paper · 2 filters
Benjamin Bordais, Daniel Neider
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthes…