Avi Trost
According to our database1,
Avi Trost
authored at least 2 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Findings of the Association for Computational Linguistics, 2024
2022
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022