Vijay Ganesh

Venues

Frequent coauthors

Papers

1. Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
   AAAI 2025 ·

   Zhengyang Lu

   DBLP profile ↗ORCID search ↗
2. Can Transformers Reason Logically? A Study in SAT Solving
   ICML 2025 ·

   Leyan Pan

   DBLP profile ↗ORCID search ↗
3. LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract)
   AAAI 2025 ·

   Piyush Jha

   DBLP profile ↗ORCID search ↗
4. RLSF: Fine-tuning LLMs via Symbolic Feedback
   ECAI 2025 ·

   Piyush Jha

   DBLP profile ↗ORCID search ↗
5. Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems
   IJCAI 2025 ·

   Zhengyu Li

   DBLP profile ↗ORCID search ↗
6. A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
   AAAI 2024 ·

   Conor Duggan

   DBLP profile ↗ORCID search ↗
7. A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem
   IJCAI 2024 ·

   Zhengyu Li

   DBLP profile ↗ORCID search ↗
8. A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
   AAAI 2024 ·

   Zhengyu Li

   DBLP profile ↗ORCID search ↗
9. BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract)
   AAAI 2024 ·

   Piyush Jha

   DBLP profile ↗ORCID search ↗
10. CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
    ECAI 2024 ·

    Prithwish Jana

    DBLP profile ↗ORCID search ↗
11. Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
    IJCAI 2024 ·

    Zhengyang Lu

    DBLP profile ↗ORCID search ↗