Raghuram Ramanujan

According to our database, Raghuram Ramanujan authored at least 16 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.

Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Lookahead Pathology in Monte-Carlo Tree Search.

Khoi P. N. Nguyen, Raghuram Ramanujan

CoRR, 2022

2021

Implicit Quantile Neural Networks for Jet Simulation and Correction.

Braden Kronheim, Michelle P. Kuchera, Harrison B. Prosper, Raghuram Ramanujan

CoRR, 2021

2020

A Steering Algorithm for Redirected Walking Using Reinforcement Learning.

Ryan R. Strauss, Raghuram Ramanujan, Andrew Becker, Tabitha C. Peck

IEEE Trans. Vis. Comput. Graph., 2020

2019

Learning to Generate Industrial SAT Instances.

Haoze Wu, Raghuram Ramanujan

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

G2SAT: Learning to Generate SAT Formulas.

Jiaxuan You, Haoze Wu, Clark W. Barrett, Raghuram Ramanujan, Jure Leskovec

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018

Machine Learning Methods for Track Classification in the AT-TPC.

Michelle P. Kuchera, Raghuram Ramanujan, Jack Z. Taylor, Ryan R. Strauss, Daniel Bazin, Joshua Bradt, Ruiming Chen

CoRR, 2018

2016

Monte-Carlo Tree Search for the Maximum Satisfiability Problem.

Jack Goffinet, Raghuram Ramanujan

Proceedings of the Principles and Practice of Constraint Programming, 2016

A.I. as an Introduction to Research Methods in Computer Science.

Raghuram Ramanujan

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Computational Creativity in the Culinary Arts.

Erol Cromwell, Jonah Galeota-Sprung, Raghuram Ramanujan

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

2012

Understanding Sampling-based Adversarial Search Methods.

Raghuram Ramanujan

PhD thesis, 2012

2011

Applying UCT to Boolean Satisfiability.

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Trade-Offs in Sampling-Based Adversarial Planning.

Raghuram Ramanujan, Bart Selman

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Monte-Carlo Style UCT Search for Boolean Satisfiability.

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Understanding Sampling Style Adversarial Search Methods.

Raghuram Ramanujan, Ashish Sabharwal, Bart Selman

Proceedings of the UAI 2010, 2010

On Adversarial Search Spaces and Sampling-Based Planning.

Raghuram Ramanujan, Ashish Sabharwal, Bart Selman

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010