Concepedia

Pavel Hrubeš

PH

Statistics

Publications

14

Citations

424

H-Index

12

Active since

2007

Affiliations

Institute for Advanced Study(Current)

Princeton University

University of Calgary

Czech Academy of Sciences, Institute of Mathematics

Technion – Israel Institute of Technology

Pavel Hrubeš is an author at Institute for Advanced Study specializing in engineering, automated reasoning, and computational complexity.

Top concepts

EngineeringAutomated ReasoningComputational ComplexityFormal MethodsComputer ScienceProof ComplexityCircuit ComplexityDiscrete MathematicsTheory Of ComputingAlgebraic Complexity

Publications per year

2007–2018

14

Publications

14

Learnability can be undecidable

Shai Ben-David, Pavel Hrubeš, Shay Moran et al. · Nature Machine Intelligence · 2018 · 70 citations

Artificial Intelligence, Engineering, Incompleteness +5

On lengths of proofs in non-classical logics

Pavel Hrubeš · Annals of Pure and Applied Logic · 2008 · 50 citations

Engineering, Automated Reasoning, Proof Complexity +4

A lower bound for intuitionistic logic

Pavel Hrubeš · Annals of Pure and Applied Logic · 2007 · 46 citations

Intuitionistic Logic, Non-classical Logic, Fuzzy Logic +4

Short Proofs for the Determinant Identities

Pavel Hrubeš, Iddo Tzameret · SIAM Journal on Computing · 2015 · 42 citations

Circuit Complexity, Arithmetic Proof Systems, Engineering +13

Lower bounds for modal logics

Pavel Hrubeš · Journal of Symbolic Logic · 2007 · 40 citations

Engineering, Substructural Logic, Automated Reasoning +9

1–5 of 14