Raghuram Ramanujan

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 12

Top Topics

Related Problems

Bayesian Reinforcement Learning

Top Venues

FLAIRS Conference

Publications

Khoi P. N. Nguyen, Raghuram Ramanujan
Lookahead Pathology in Monte-Carlo Tree Search. ICAPS (2024)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. CoRR (2023)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. FMCAD (2023)
Khoi P. N. Nguyen, Raghuram Ramanujan
Lookahead Pathology in Monte-Carlo Tree Search. CoRR (2022)
Braden Kronheim, Michelle P. Kuchera, Harrison B. Prosper, Raghuram Ramanujan
Implicit Quantile Neural Networks for Jet Simulation and Correction. CoRR (2021)
Ryan R. Strauss, Raghuram Ramanujan, Andrew Becker, Tabitha C. Peck
A Steering Algorithm for Redirected Walking Using Reinforcement Learning. IEEE Trans. Vis. Comput. Graph. 26 (5) (2020)
Jiaxuan You, Haoze Wu, Clark W. Barrett, Raghuram Ramanujan, Jure Leskovec
G2SAT: Learning to Generate SAT Formulas. CoRR (2019)
Jiaxuan You, Haoze Wu, Clark W. Barrett, Raghuram Ramanujan, Jure Leskovec
G2SAT: Learning to Generate SAT Formulas. NeurIPS (2019)
Haoze Wu, Raghuram Ramanujan
Learning to Generate Industrial SAT Instances. SOCS (2019)
Michelle P. Kuchera, Raghuram Ramanujan, Jack Z. Taylor, Ryan R. Strauss, Daniel Bazin, Joshua Bradt, Ruiming Chen
Machine Learning Methods for Track Classification in the AT-TPC. CoRR (2018)
Jack Goffinet, Raghuram Ramanujan
Monte-Carlo Tree Search for the Maximum Satisfiability Problem. CP (2016)
Raghuram Ramanujan
A.I. as an Introduction to Research Methods in Computer Science. AAAI (2016)
Erol Cromwell, Jonah Galeota-Sprung, Raghuram Ramanujan
Computational Creativity in the Culinary Arts. FLAIRS Conference (2015)
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
Understanding Sampling Style Adversarial Search Methods CoRR (2012)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Monte-Carlo Style UCT Search for Boolean Satisfiability. AI*IA (2011)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Applying UCT to Boolean Satisfiability. SAT (2011)
Raghuram Ramanujan, Bart Selman
Trade-Offs in Sampling-Based Adversarial Planning. ICAPS (2011)
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
On Adversarial Search Spaces and Sampling-Based Planning. ICAPS (2010)
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
Understanding Sampling Style Adversarial Search Methods. UAI (2010)