The job of building computer networks that train and run large AI models is becoming increasingly complicated because ...

UT Computer Science ranks No. 10 nationally, tied with the California Institute of Technology and the University of Michigan.

This program solves simple math and physics problems stated in English.

Patrick MacAlpine and Peter Stone.

Artificial Intelligence and Life in 2030. Peter Stone, Rodney Brooks, Erik Brynjolfsson, Ryan Calo, Oren Etzioni, Greg Hager, Julia Hirschberg, Shivaram ...

TEXPLORE: Real-Time Sample-Efficient Reinforcement Learning for Robots. Todd Hester and Peter Stone. Machine Learning, 90(3):385–429, 2013.

Grounded Action Transformation for Robot Learning in Simulation. Josiah Hanna and Peter Stone. @InProceedings{AAAI17-Hanna, author = {Josiah Hanna and Peter Stone}, title = {Grounded Action ...

Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy. Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, and Peter Stone. In Proceedings of the 13th International Conference on ...

1 Why Am I Taking This Course?

The ACL2 Sedan (ACL2s) is an Eclipse-based IDE for ACL2 that is distributed with pre-certified books and pre-built binaries. If you use an alternative development environment (such as Emacs), you can ...

You should have little trouble installing this alongside older versions of ACL2 if you used previous versions of this installer. Essentially, everything here gets ...

Hello, I am Vincent! I am currently a student in the 5 year integrated CS program! My major area of interest are Computer Science and Mathematics, and I am currently pursuing a double major in both. I ...