Vijay Ganesh
21 papers · 2016–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+13 more ↓ Show less ↑
π Interdisciplinary Bridge π Renaissance Researcher (7) π Academic Marathon (9) π Conference Polyglot (4) πΊοΈ Taxonomy Completionist (28)
πΊοΈ
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)
Papers
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems
IJCAI 2025
LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract)
AAAI 2025
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
AAAI 2025
Can Transformers Reason Logically? A Study in SAT Solving
ICML 2025
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
IJCAI 2024
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract)
AAAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
AAAI 2024
A SAT Solver + Computer Algebra Attack on the Minimum KochenβSpecker Problem
IJCAI 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
Grounding Neural Inference with Satisfiability Modulo Theories
NIPS 2023
Robust Training for AC-OPF (Student Abstract)
AAAI 2023
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks
IJCAI 2022
Amnesiac Machine Learning
AAAI 2021
Logic Guided Genetic Algorithms (Student Abstract)
AAAI 2021
A SAT-based Resolution of Lam's Problem
AAAI 2021
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
IJCAI 2020
Online Bayesian Moment Matching based SAT Solver Heuristics
ICML 2020
LGML: Logic Guided Machine Learning (Student Abstract)
AAAI 2020
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
AAAI 2019
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate
IJCAI 2018
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
IJCAI 2016