VG
Vijay Ganesh
cs.LOcs.LGcs.AImath.COcs.CRcs.SCcs.SEcs.CCcs.DMcs.PL
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9
1 version
W_addgqa2t·v1published
Preprints & journals
79 papers in the corpus · 2011–2026The Four-Qubit Hyperbolic Quadric Has Contextuality Degree 3152610.26465v1 · Zhengyu Li, Amandeep Gupta, Vijay Ganesh2026 · 0 citationsarXivon Valency
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness2610.05367v1 · Prithwish Jana, Viet Bach Hoang, Logan Luna et al.2026 · 0 citationsarXiv
Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization2609.34069v1 · Piyush Jha, Aishik Ghosh, Vijay Ganesh2026 · 0 citationsarXiv
CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery2608.20686v1 · Piyush Jha, Jake Rudolph, Victoria Knapp-P'erez et al.2026 · 0 citationsarXiv
Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification2606.03593v1 · Xi Zheng, Dulanga Weerakoon, Yintong Huo et al.2026 · 0 citationsarXiv
Symbolic Regression via Latent Iterative Refinement2605.27245v1 · Xieting Chu, Sriram Vishwanath, Vijay Ganesh2026 · 0 citationsarXiv
Understanding CDCL Solvers via Scalability Studies and Proofdoors2605.15506v2 · Shimin Zhang, Yechuan Xia, Chunxiao Li et al.2026 · 0 citationsarXiv
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs2605.08498v1 · Viresh Pati, Zhengyu Li, Piyush Jha et al.2026 · 0 citationsarXiv
SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set2604.19947v1 · Zhengyu Li, Curtis Bright, Stefan Trandafir et al.2026 · 0 citationsarXiv
Symbolic Density Estimation: A Decompositional Approach2603.27955v1 · Angelo Rajendram, Xieting Chu, Vijay Ganesh et al.2026 · 0 citationsarXiv
Proofdoors and Efficiency of CDCL Solvers2603.26286v3 · Sunidhi Singh, Vincent Liew, Marc Vinyals et al.2026 · 0 citationsarXiv
An Exponential Separation between Deterministic CDCL and DPLL Solvers2603.16156v2 · Sahil Samar, Marc Vinyals, Vijay Ganesh2026 · 0 citationsLIPIcs 377 (SAT 2026), 30:1-30:19
Learning Data-Efficient and Generalizable Neural Operators via Fundamental Physics Knowledge2602.15184v1 · Siying Ma, Mehrdad M. Zadeh, Mauricio Soroco et al.2026 · 0 citationsarXiv
Report for NSF Workshop on AI for Electronic Design Automation2601.14541v4 · Deming Chen, Vijay Ganesh, Weikai Li et al.2026 · 2 citationsIEEE Circuits and Systems Magazine, vol. 26, no. 1, First Quarter 2026
FrontierCS: Evolving Challenges for Evolving Intelligence2512.15699v1 · Qiuyang Mang, Wenhao Chai, Zhifei Li et al.2025 · 0 citationsarXiv
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings2510.15681v3 · Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi et al.2025 · 0 citationsarXiv
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis2510.12350v2 · Ayush Khaitan, Vijay Ganesh2025 · 0 citationsarXiv
Towards AI-assisted Neutrino Flavor Theory Design2506.08080v2 · Jason Benjamin Baretz, Max Fieg, Vijay Ganesh et al.2025 · 0 citationsarXiv
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design2505.15873v2 · Matthew DeLorenzo, Kevin Tieu, Prithwish Jana et al.2025 · 2 citationsarXiv
Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability2503.17173v2 · Sanjif Shanmugavelu, Mathieu Taillefumier, Christopher Culver et al.2025 · 0 citationsarXiv
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey and Problems2502.06055v2 · Zhengyu Li, Conor Duggan, Curtis Bright et al.2025 · 1 citationarXiv
LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs2411.08862v2 · Piyush Jha, Arnav Arora, Vijay Ganesh2024 · 0 citationsarXiv
AdChain: Decentralized Header Bidding2410.16141v1 · Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos et al.2024 · 2 citationsarXiv
Can Transformers Reason Logically? A Study in SAT Solving2410.07432v2 · Leyan Pan, Vijay Ganesh, Jacob Abernethy et al.2024 · 0 citationsarXiv
CountChain: A Decentralized Oracle Network for Counting Systems2409.11592v1 · Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle et al.2024 · 2 citationsarXiv
Extended Resolution Clause Learning via Dual Implication Points2406.14190v5 · Sam Buss, Jonathan Chung, Vijay Ganesh et al.2024 · 0 citationsLogical Methods in Computer Science, Volume 22, Issue 2 (May 25, 2026) lmcs:15935
RLSF: Fine-tuning LLMs via Symbolic Feedback2405.16661v3 · Piyush Jha, Prithwish Jana, Pranavkrishna Suresh et al.2024 · 2 citationsarXiv
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers2404.03753v2 · Chunxiao Li, Charlie Liu, Jonathan Chung et al.2024 · 0 citationsarXiv
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis2401.17159v2 · Zhengyang Lu, Stefan Siemer, Piyush Jha et al.2024 · 10 citationsarXiv
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems2401.13770v2 · Piyush Jha, Zhengyu Li, Zhengyang Lu et al.2024 · 0 citationsarXiv
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem2306.13319v7 · Zhengyu Li, Curtis Bright, Vijay Ganesh2023 · 2 citationsarXiv
CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution2306.06755v4 · Prithwish Jana, Piyush Jha, Haoyang Ju et al.2023 · 24 citationsarXiv
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer2305.12534v5 · Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna et al.2023 · 11 citationsProceedings of the AAAI Conference on Artificial Intelligence, 38(21), 23521-23522 (2024)
Limits of CDCL Learning via Merge Resolution2304.09422v1 · Marc Vinyals, Chunxiao Li, Noah Fleming et al.2023 · 2 citationsarXiv
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks2304.01826v1 · Vineel Nagisetty, Laura Graves, Guanting Pan et al.2023 · 0 citationsarXiv
Learning Modulo Theories2301.11435v1 · Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar et al.2023 · 4 citationsarXiv
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks2207.03264v2 · Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa et al.2022 · 0 citationsarXiv
Formal Languages via Theories over Strings2205.00475v1 · Joel D. Day, Vijay Ganesh, Nathan Grewal et al.2022 · 0 citationsarXiv
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities2112.14771v2 · Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu et al.2021 · 23 citationsarXiv
On the proof complexity of MCSAT2109.01585v1 · Gereon Kremer, Erika Abraham, Vijay Ganesh2021 · 0 citationsSatisfiability Checking and Symbolic Computation (SC^2 2019) at SIAM AG, CEUR Workshop Proceedings vol. 2460. 2019
String Theories involving Regular Membership Predicates: From Practice to Theory and Back2105.07220v1 · Murphy Berzish, Joel D. Day, Vijay Ganesh et al.2021 · 11 citationsarXiv
On the Hierarchical Community Structure of Practical Boolean Formulas2103.14992v2 · Chunxiao Li, Jonathan Chung, Soham Mukherjee et al.2021 · 2 citationsarXiv
A SAT-based Resolution of Lam's Problem2012.04715v1 · Curtis Bright, Kevin K. H. Cheung, Brett Stevens et al.2020 · 8 citationsarXiv
Amnesiac Machine Learning2010.10981v1 · Laura Graves, Vineel Nagisetty, Vijay Ganesh2020 · 5 citationsarXiv
Logic Guided Genetic Algorithms2010.11328v1 · Dhananjay Ashok, Joseph Scott, Sebastian Wetzel et al.2020 · 9 citationsarXiv
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length2010.07253v3 · Murphy Berzish, Mitja Kulczynski, Federico Mora et al.2020 · 41 citationsarXiv
LGML: Logic Guided Machine Learning2006.03626v2 · Joseph Scott, Maysum Panju, Vijay Ganesh2020 · 2 citationsarXiv
CDCL(Crypto) SAT Solvers for Cryptanalysis2005.13415v1 · Saeed Nejati, Vijay Ganesh2020 · 1 citationarXiv
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks2003.04299v4 · Sebastian J. Wetzel, Roger G. Melko, Joseph Scott et al.2020 · 78 citationsPhys. Rev. Research 2, 033499 (2020)
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers2003.02323v2 · Chunxiao Li, Noah Fleming, Marc Vinyals et al.2020 · 6 citationsarXiv
Career total: 254 works. 79 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.