Ganesh, Vijay

26 publications

ICLR 2026 Learning Data-Efficient and Generalizable Neural Operators via Fundamental Physics Knowledge Siying Ma, Mehrdad Momeni Zadeh, Mauricio Soroco, Wuyang Chen, Jiguo Cao, Vijay Ganesh

ICLR 2026 ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi, Cruise Song, Sriram Vishwanath, Vijay Ganesh

AAAI 2025 Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract) Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

ICML 2025 Can Transformers Reason Logically? a Study in SAT Solving Leyan Pan, Vijay Ganesh, Jacob Abernethy, Chris Esposo, Wenke Lee

JAIR 2025 Improving and Understanding the Power of Satisfaction-Driven Clause Learning Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh

AAAI 2025 LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract) Piyush Jha, Arnav Arora, Vijay Ganesh

IJCAI 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh

IJCAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem Zhengyu Li, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) Zhengyu Li, Curtis Bright, Vijay Ganesh

AAAI 2024 BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract) Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh

IJCAI 2024 Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh

NeurIPS 2023 Grounding Neural Inference with Satisfiability Modulo Theories Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson

AAAI 2023 Robust Training for AC-OPF (Student Abstract) Fuat Can Beylunioglu, Mehrdad Pirnia, P. Robert Duimering, Vijay Ganesh

IJCAI 2022 A Solver + Gradient Descent Training Algorithm for Deep Neural Networks Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh

AAAI 2021 A SAT-Based Resolution of Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2021 Amnesiac Machine Learning Laura Graves, Vineel Nagisetty, Vijay Ganesh

AAAI 2021 Logic Guided Genetic Algorithms (Student Abstract) Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh

AAAI 2020 LGML: Logic Guided Machine Learning (Student Abstract) Joseph Scott, Maysum Panju, Vijay Ganesh

ICML 2020 Online Bayesian Moment Matching Based SAT Solver Heuristics Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh

IJCAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2019 A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2018 A SAT+CAS Method for Enumerating Williamson Matrices of Even Order Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

IJCAI 2018 An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

AAAI 2016 Exponential Recency Weighted Average Branching Heuristic for SAT Solvers Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki

IJCAI 2016 MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki