Vijay Ganesh
21 papers
· 2016–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(4)
π
Academic Marathon
(9)
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(28)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Keyword Champion
(3)
π§¬
Topic Evolution
π±
Topic Pioneer
β‘
Prolific Year
(5)
π
Conference Pioneer
π
Century Club
(21)
π₯
Unstoppable
(8)
ποΈ
Keyword Collector
(83)
β
The Questioner
π
Trend Setter
Conferences
AAAI (11)
IJCAI (7)
ICML (2)
NIPS (1)
Top co-authors
Keywords
satisfiability solving
(5)
combinatorial optimization
(5)
computer algebra
(5)
combinatorial search
(3)
sat solver
(3)
boolean satisfiability
(2)
reinforcement learning
(2)
heuristic search
(2)
ramsey theory
(2)
proof certificate
(2)
machine learning
(2)
formal verification
(1)
loss landscape
(1)
symbolic reasoning
(1)
neural network optimization
(1)
machine unlearning
(1)
embedding learning
(1)
graph coloring
(1)
mixed integer programming
(1)
data augmentation
(1)