3 papers
cs.LO2021
First-Order Reasoning and Efficient Semi-Algebraic Proofs
Fedor Part, Neil Thapen, Iddo Tzameret
Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebra…
cs.CC2018
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
Fedor Part, Iddo Tzameret
Resolution over linear equations is a natural extension of the popular resolution refutation system, augmented with the ability to carry out basic counting. Denoted Res(lin_R), thi…
cs.LO2015
Semi-simplicial Types in Logic-enriched Homotopy Type Theory
Fedor Part, Zhaohui Luo
The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recognized as important during the Year of Univalent Foundations at the Institute of Ad…