Get started
Author

Gil Lederman

Observed names: Lederman, Gil, Lederman, Gil, Author
OpenAlex ID: A5000145156
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning
2020 · Gil Lederman, Markus N. Rabe, et al. · eScholarship (California Digital Library) · 20
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning.
2018 · Gil Lederman, Markus N. Rabe, et al. · 20
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
2018 · Lederman, Gil, Rabe, Markus N., et al. · arXiv (Cornell University) · 8
PDF
Gordian
2020 · Matthew Weber, Baihong Jin, et al. · ACM Transactions on Cyber-Physical Systems · 7
PDF
Learning Branching Heuristics for Propositional Model Counting
2021 · Vaezipoor, Pashootan, Lederman, Gil, et al. · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · 5
PDF
Learning Branching Heuristics for Propositional Model Counting
2021 · Pashootan Vaezipoor, Gil Lederman, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 4
Enhancing opacity of stochastic discrete event systems using insertion functions
2016 · Yi-Chin Wu, Gil Lederman, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 4
Neural Guidance in Constraint Solvers
2021 · Gil Lederman · eScholarship (California Digital Library) · 1
NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings
2026 · Vexler, Vladi, Idan, Ofer, et al. · arXiv (Cornell University)
PDF
Few Shots Text to Image Retrieval: New Benchmarking Dataset and Optimization Methods
2026 · Idan, Ofer, Vexler, Vladi, et al. · arXiv (Cornell University)
PDF
Works count: 13
Citation count: 69
H-index: 5
I10-index: 2
Year
Topic
Type