2 experts in "proof complexity and mathematical logic" found:
Vijay Ganesh
Expert In:
Proof
Complexity
and
Mathematical
Logic
NeuroSymbolic AI
SAT/SMT Solvers
Testing, Analysis, Verification, and Security of AI Systems
View Profile
Michael Sipser
Expert In:
Complexity
theory
interactive
proof
systems
Mathematical
logic
Algorithms
View Profile