Baade received his first undergraduate research opportunity after cold-emailing a professor on the advice of a Sophomore ...

Deep Proteins researchers draw on lessons from many disciplines, for example, to develop an AI technique called EvoRank that ...

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

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

The advanced state of agent software and computing hardware makes it possible to construct complex agents and robots with multiple streams of input such as vi­ sion, speech, gestures and data. Such ...

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

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional ...

We describe how a physical robot can learn about objects from its own autonomous experience in the continuous world. The robot identifies statistical regularities that allow it to represent a physical ...