Alexander Feldsher

Identifiers

• name variant Alexander Feldsher 0.60 · backfill

Papers (1)

1. Simplifying Neural Networks using Formal Verification cs.LO · 2019 · author #2

Mentions

• 1910.12396 #2 · arxiv_oai · confidence 0.70 Alexander Feldsher

Frequent Coauthors

• Adi Malca 1 shared papers
• Clark Barrett 1 shared papers
• Guy Katz 1 shared papers
• Sumathi Gokulanathan 1 shared papers