Login / Signup
Avi Trost
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Theorem Prover
Computer Algebra
Particle Swarm Optimisation
Metadata
Top Venues
CoRR
ACL (Findings)
TACAS (1)
</>
Publications
</>
Nihal V. Nayak
,
Yiyang Nan
,
Avi Trost
,
Stephen H. Bach
Learning to Generate Instruction Tuning Datasets for Zero-Shot Task Adaptation.
CoRR
(2024)
Nihal V. Nayak
,
Yiyang Nan
,
Avi Trost
,
Stephen H. Bach
Learning to Generate Instruction Tuning Datasets for Zero-Shot Task Adaptation.
ACL (Findings)
(2024)
André Greiner-Petter
,
Howard S. Cohl
,
Abdou Youssef
,
Moritz Schubotz
,
Avi Trost
,
Rajen Dey
,
Akiko Aizawa
,
Bela Gipp
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
CoRR
(2022)
André Greiner-Petter
,
Howard S. Cohl
,
Abdou Youssef
,
Moritz Schubotz
,
Avi Trost
,
Rajen Dey
,
Akiko Aizawa
,
Bela Gipp
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
TACAS (1)
(2022)