PPaperPicks

Vijay Ganesh

12 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×5IJCAI ×3ECAI ×2CP ×1ICML ×1

Frequent coauthors

Piyush Jha
×5
Zhengyu Li
×4
Curtis Bright
×4
Zhengyang Lu
×3
Florin Manea
×2
Arnav Arora
×2
Prithwish Jana
×2
Conor Duggan
×2
Paul Sarnighausen-Cahn
×1
Jiahao Chen
×1
Arie Gurfinkel
×1
Po-Chun Chien
×1

Papers

  1. Learning Unified Graph and Language Representations for SMT Algorithm Selection
    CP 2026 ·
    Zhengyang Lu
    ,
    Paul Sarnighausen-Cahn
    ,
    Jiahao Chen
    ,
    Arie Gurfinkel
    ,
    Florin Manea
    , Vijay Ganesh
  2. Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
    AAAI 2025 ·
    Zhengyang Lu
    ,
    Po-Chun Chien
    ,
    Nian-Ze Lee
    , Vijay Ganesh
  3. Can Transformers Reason Logically? A Study in SAT Solving
    ICML 2025 ·
    Leyan Pan
    , Vijay Ganesh,
    Jacob D. Abernethy
    ,
    Chris Esposo
    ,
    Wenke Lee
  4. LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract)
    AAAI 2025 ·
    Piyush Jha
    ,
    Arnav Arora
    , Vijay Ganesh
  5. RLSF: Fine-tuning LLMs via Symbolic Feedback
    ECAI 2025 ·
    Piyush Jha
    ,
    Prithwish Jana
    ,
    Pranavkrishna Suresh
    ,
    Arnav Arora
    , Vijay Ganesh
  6. Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems
    IJCAI 2025 ·
    Zhengyu Li
    ,
    Conor Duggan
    ,
    Curtis Bright
    , Vijay Ganesh
  7. A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
    AAAI 2024 ·
    Conor Duggan
    ,
    Zhengyu Li
    ,
    Curtis Bright
    , Vijay Ganesh
  8. A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem
    IJCAI 2024 ·
    Zhengyu Li
    ,
    Curtis Bright
    , Vijay Ganesh
  9. A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
    AAAI 2024 ·
    Zhengyu Li
    ,
    Curtis Bright
    , Vijay Ganesh
  10. BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract)
    AAAI 2024 ·
    Piyush Jha
    ,
    Joseph Scott
    ,
    Jaya Sriram Ganeshna
    ,
    Mudit Singh
    , Vijay Ganesh
  11. CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
    ECAI 2024 ·
    Prithwish Jana
    ,
    Piyush Jha
    ,
    Haoyang Ju
    ,
    Gautham Kishore
    ,
    Aryan Mahajan
    , Vijay Ganesh
  12. Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
    IJCAI 2024 ·
    Zhengyang Lu
    ,
    Stefan Siemer
    ,
    Piyush Jha
    ,
    Joel D. Day
    ,
    Florin Manea
    , Vijay Ganesh