Joseph Cotnareanu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AISTATS | InnerThoughts: Disentangling Representations and Predictions in Large Language Models. | Didier Chtelat, Joseph Cotnareanu, Rylee Thompson, Yingxue Zhang, Mark Coates |
| 2024 | KDD | GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. | Zhanguang Zhang, Didier Chtelat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan |