Where Learning Meets Inspiration Embark on a transformative, immersive experience at the Academy for All with UT Computer Science, where we go beyond coding to shape the future of technology. In our ...

Big news from UTCS: With renewed funding from the National Science Foundation, IFML researchers are expanding their work to make AI more accurate, reliable, and ready for the real world. This critical ...

Kim’s NSF CAREER Award builds on a growing portfolio of federal and industry support, including a 2024 NSF NeTS grant ...

Qixing Huang is an associate professor of Computer Science at the University of Texas at Austin. He obtained his PhD in Computer Science from Stanford University. He was a research assistant professor ...

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

Ultra-Fine Entity Typing (ACL 2018) Eunsol Choi, Omer Levy, Yejin Choi and Luke Zettlemoyer Abstract We introduce a new entity typing task: given a sentence with an entity mention, the goal is to ...

Description of the project Back to Top Traditional methods of collecting translation and paraphrase data can be prohibitively expensive, making construction of large, new corpora difficult. While ...

JavaDoc for Course Code All packages Vector-Space Retrieval Performance Evaluation Web Utilities Text Classifers Utilities Related Courses Information Retrieval Course at UMass Web Search and Mining ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

Risto Miikkulainen is a Professor of Computer Science at the University of Texas at Austin and VP of AI Research at Cognizant AI Lab. He received an M.S. in Engineering from the Helsinki University of ...

Recent work has shown that deep neural networks are capable of approximating both value functions and policies in reinforcement learning domains featuring continuous state and action spaces. However, ...