22 citations · 26 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020
Phase Transition Behavior in Knowledge Compilation
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements of modern SAT solvers. Motivated by these prior studies of phase transit…
cs.AI2018★ 22 cited
Deep Reinforcement Learning for Programming Language Correction
Rahul Gupta, Aditya Kanade, Shirish Shevade
Novice programmers often struggle with the formal syntax of programming languages. To assist them, we design a novel programming language correction framework amenable to reinforce…