Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

Fig.1 - Rectified flow learns neural ODEs with straight trajectories for both generating (up two rows) and transferring (lower two rows) data, with a very small number N of Euler steps (even a single ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

Teaching: I teach honors Computer Graphics, and a Physical Simulation graduate elective, every spring. See the course page for more details. Prospective Students: I am not actively looking to expand ...

This web page provides supplementary material to the following paper: SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-makespan for Formational Positioning Patrick MacAlpine, Eric Price ...

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 ...

David Zuckerman, professor of computer science at The University of Texas at Austin, and Eshan Chattopadhyay, now an associate professor at Cornell University, have been awarded the 2025 Gödel ...

Artificial Intelligence and Life in 2030. Peter Stone, Rodney Brooks, Erik Brynjolfsson, Ryan Calo, Oren Etzioni, Greg Hager, Julia Hirschberg, Shivaram Kalyanakrishnan, Ece Kamar, Sarit Kraus, Kevin ...

Grounded Action Transformation for Robot Learning in Simulation Grounded Action Transformation for Robot Learning in Simulation. Josiah Hanna and Peter Stone. In Proceedings of the 31st AAAI ...

TAMER: Training an Agent Manually via Evaluative Reinforcement TAMER: Training an Agent Manually via Evaluative Reinforcement. W. Bradley Knox and Peter Stone. In IEEE 7th International Conference on ...

Miniconda for Windows Identify whether your system is 32 bit or 64 bit. Here is the link: Windows 32 bit or 64 bit? Under the Miniconda Installer Links select the suitable installer for your system ...

Design and Optimization of an Omnidirectional Humanoid Walk:A Winning Approach at the RoboCup 2011 3D Simulation Competition. Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, and Peter ...