The complexity of learning linear temporal formulas from examples. | 0 | 0.34 | 2021 |
Trade-Offs Between Size and Degree in Polynomial Calculus. | 0 | 0.34 | 2020 |
d-Galvin Families. | 0 | 0.34 | 2020 |
Tight Bounds using Hankel Matrix for Arithmetic Circuits with Unique Parse Trees. | 0 | 0.34 | 2018 |
Non-commutative computations: lower bounds and polynomial identity testing. | 1 | 0.38 | 2016 |