Projects per year
Fingerprint
Dive into the research topics where Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Building Next-Generation Language Models based on Retrieval
NSF - National Science Foundation
2/15/23 → 1/31/28
Project: Research project
-
CAREER: Reading To Learn: Language-Guided Machine Learning
NSF - National Science Foundation
1/15/23 → 12/31/27
Project: Research project
-
A Solver for Arrays with Concatenation
Wang, Q. & Appel, A. W., Mar 2023, In: Journal of Automated Reasoning. 67, 1, 4.Research output: Contribution to journal › Article › peer-review
-
Characterizing the Multi-Pass Streaming Complexity for Solving Boolean CSPs Exactly
Kol, G., Paramonov, D., Saxena, R. R. & Yu, H., Jan 1 2023, 14th Innovations in Theoretical Computer Science Conference, ITCS 2023. Kalai, Y. T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 80. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 251).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Efficient Extensional Binary Tries
Appel, A. W. & Leroy, X., Mar 2023, In: Journal of Automated Reasoning. 67, 1, 8.Research output: Contribution to journal › Article › peer-review