Vijay Ganesh

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Propositional Satisfiability

Reinforcement Learning

Computer Algebra

Top Venues

Theory Comput. Syst.

Publications

Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea
A Closer Look at the Expressive Power of Logics Based on Word Equations. Theory Comput. Syst. 68 (3) (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV (2024)
Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. CoRR (2024)
Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh
RLSF: Reinforcement Learning via Symbolic Feedback. CoRR (2024)
Zhengyu Li, Curtis Bright, Vijay Ganesh
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). AAAI (2024)
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). AAAI (2024)
Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). AAAI (2024)
Sam Buss, Jonathan Chung, Vijay Ganesh, Albert Oliveras
Extended Resolution Clause Learning via Dual Implication Points. CoRR (2024)
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE (2023)