Scholar

Gail Weiss

Google Scholar ID: qEc_VqcAAAAJ

EPFL - École Polytechnique Fédérale de Lausanne

Formal LanguagesDeep Learning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,156

H-index

12

i10-index

12

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

2 items

PERK: Long-Context Reasoning as Parameter-Efficient Test-Time Learning

2025

Cited

0

Improving Autoformalization using Type Checking

arXiv.org · 2024

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)