Picture for Vijay Ganesh

Vijay Ganesh

LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs

Add code
Nov 13, 2024
Viaarxiv icon

Can Transformers Reason Logically? A Study in SAT Solving

Add code
Oct 09, 2024
Viaarxiv icon

RLSF: Reinforcement Learning via Symbolic Feedback

Add code
May 26, 2024
Viaarxiv icon

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers

Add code
Apr 04, 2024
Viaarxiv icon

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

Add code
Jan 30, 2024
Viaarxiv icon

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

Add code
Jan 24, 2024
Viaarxiv icon

Attention, Compilation, and Solver-based Symbolic Analysis are All You Need

Add code
Jun 11, 2023
Figure 1 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Figure 2 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Figure 3 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Figure 4 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Viaarxiv icon

BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer

Add code
May 21, 2023
Viaarxiv icon

CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks

Add code
Apr 04, 2023
Viaarxiv icon

Learning Modulo Theories

Add code
Jan 26, 2023
Viaarxiv icon