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

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

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

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

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

Ontology Works - Ontology Works is a leading source of ontology construction software, ontology-based database software, and ontology-based information integration software. The Ontology Works IODE is ...

Some algorithms are more efficient than others. We would prefer to chose an efficient algorithm, so it would be nice to have metrics for comparing algorithm efficiency. The complexity of an algorithm ...

Autonomous trading in the stock market is an area of great interest in both academic and commercial circles. A lot of trading strategies have been proposed and practiced from the perspectives of ...

Consistently ranked one of the nation's top computer science programs, UT Computer Science supplies the people and ideas shaping the digital frontier.

Need for the Society For almost a decade, the need for a non-profit professional society to run the International Conference on Machine Learning (ICML) has been recognized at the editorial board ...

For an overview of extractors, see my talk Randomness Extraction: A Survey. For a more detailed introduction to extractors and other aspects of pseudorandomness, see Salil Vadhan's book ...

The advent of architectures with multi-level memories, including caches, shared memories, and distributed memories, has forced a re-evaluation of how linear algebra libraries are developed.