5765_forestagonstinelli_255.jpg

Forest Agostinelli

Deep Reinforcement Learning Heuristic Search Weighted A* Search Deep Reasoning Systems Automated Theorem Proving

About

Forest Agostinelli is an Assistant Professor in the Department of Computer Science and Engineering at the University of South Carolina, where he leads the Deep Reasoning Lab. His research lies at the intersection of Artificial Intelligence, Deep Learning, and Reinforcement Learning, with a specialized focus on Heuristic Search and Logic. He is widely recognized for his work on DeepCubeA, a deep reinforcement learning algorithm that independently learned to solve the Rubik’s Cube using a weighted $A^*$ search approach. Dr. Agostinelli’s work aims to create "Deep Reasoning" systems that combine the pattern recognition strengths of neural networks with the symbolic logic and planning capabilities of classical AI. This research has broad applications, from solving complex combinatorial problems and improving scientific discovery to optimizing chemical synthesis and enhancing automated theorem proving.

Research Performance Summary

40
Total Papers
2140
Total Citations
13
H-Index
2013-2025
Active Research Span

First Recorded Paper

Adaptive multi-column deep neural networks with application to robust image denoising

Year: 2013

Citations: 337

Venue: Advances in neural information processing systems 26

Latest Recorded Paper

Stable Planning through Aligned Representations in Model-Based Reinforcement Learning

Year: 2025

Citations: 0

Venue: NeurIPS 2025 Workshop on Embodied World Models for Decision Making

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
8
2024
9
2023
2
2022
8
2021
4
2019
2
2018
3
2016
2
2015
1
2013
1

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 21
Journal 1
Book 1

Top Coauthors

Agostinelli Baldi

Research Impact by Period

2025-2026

Period Stats
Papers 8
Citations 1
Avg. Citations / Paper 0.1
H-Index 1

2020-2024

Period Stats
Papers 23
Citations 293
Avg. Citations / Paper 12.7
H-Index 9

2015-2019

Period Stats
Papers 8
Citations 1509
Avg. Citations / Paper 188.6
H-Index 6

2010-2014

Period Stats
Papers 1
Citations 337
Avg. Citations / Paper 337
H-Index 1

Contact and Professional Links

Contact Information

foresta@cse.sc.edu
8035767707

Detected Research Keywords

Solving Rubik Cube Reinforcement Learning Search Circadiomics Circadian Omic Circadian Omic Web Omic Web Portal Solve Rubik Cube Domain Independent Planners Independent Planners Standard User Interface Design Interface Design Solving