Gil Lederman

2 papers · 2020–2021 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 📈 Trend Setter

Venues

AAAI (1) ICLR (1)

Top co-authors

Pashootan Vaezipoor (1) Sanjit A. Seshia (1) Chris Maddison (1) Markus Rabe (1) Roger B Grosse (1) Sanjit Seshia (1) Edward A. Lee (1) Fahiem Bacchus (1) Yuhuai Wu (1)

Research topics

Artificial Intelligence (2) Core AI (2) Deep Learning (1) Knowledge & Reasoning (1) Machine Learning (1) Mathematics & Optimization (1) Reinforcement Learning (1) Core Methods (1) Learning Types (1) Optimization (1) Optimization & Theory (1) Reasoning (1) Techniques (1)

Keywords

combinatorial optimization (1) deep reinforcement learning (1) automated reasoning (1) algorithm optimization (1) sat solver (1) backtracking search (1) quantified boolean formula (1) heuristic learning (1) model counting (1) neural network (1) branching heuristic (1) propositional model counting (1) satisfying assignment (1)

Papers

Learning Branching Heuristics for Propositional Model Counting AAAI 2021 Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning ICLR 2020