Ganesh, Vijay
- Amnesiac Machine Learning
2020/10/21 by Graves, Laura, Nagisetty, Vineel, Ganesh, Vijay · 58 citations
#Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- An SMT Solver for Regular Expressions and Linear Arithmetic over String\n Length
2020/10/14 by Murphy Berzish, Berzish, Murphy, Mitja Kulczynski +11 · 4 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Network Packet Processing and Optimization #semigroups and automata theory
- Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
2015/06/30 by Liang, Jia Hui, Ganesh, Vijay, Zulkoski, Ed +2 · 2 citations
#F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- RLSF: Fine-tuning LLMs via Symbolic Feedback
2024/05/26 by Piyush Jha, Prithwish Jana, Jha, Piyush +6 · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- Can Transformers Reason Logically? A Study in SAT Solving
2024/10/09 by Leyan Pan, Pan, Leyan, Vijay Ganesh +7 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Machine Learning (cs.LG) #Semantic Web and Ontologies
- Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
2024/01/30 by Zhengyang Lu, Stefan Siemer, Lu, Zhengyang +9 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
- The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability
2018/02/02 by Day, Joel, Ganesh, Vijay, He, Paul +2 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Interpolating Strong Induction
2019/06/04 by K, Hari Govind V, Vizel, Yakir, Ganesh, Vijay +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI Systems
2020/02/24 by Vineel Nagisetty, Laura M. Graves, Nagisetty, Vineel +6 · 1 citation
Computer Science · Physics and Astronomy · #Advanced Neural Network Applications #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Image and Signal Denoising Methods #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Model Reduction and Neural Networks
- LGML: Logic Guided Machine Learning
2020/06/05 by Joseph Scott, Scott, Joseph, Maysum Panju +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Polynomial and algebraic computation
- Logic Guided Genetic Algorithms
2020/10/21 by Dhananjay Ashok, Ashok, Dhananjay, Joseph Scott +7 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Metaheuristic Optimization Algorithms Research #Neural Networks and Applications #Neural and Evolutionary Computing (cs.NE) #Symbolic Computation (cs.SC)
- Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
2025/05/21 by Matthew DeLorenzo, Kevin Tieu, DeLorenzo, Matthew +11 · 4 citations
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies
- Towards AI-assisted Neutrino Flavor Theory Design
2025/06/09 by Jason Benjamin Baretz, Baretz, Jason Benjamin, Max Fieg +11 · 1 voice · 2 citations
#hep-ph #cs.LG #physics.comp-ph #stat.ML
- LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs
2024/11/13 by Jha, Piyush, Arora, Arnav, Ganesh, Vijay · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)