Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles by
George Tsoukalas
An In-Context Learning Agent for Formal Theorem-Proving
8 August 2024 by
Amitayush Thakur
and
others
at
University of Texas at Austin
Machine Learning
,
Artificial Intelligence
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
15 July 2024 by
George Tsoukalas
and
others
Artificial Intelligence
,
Computation and Language
k
-NIM trees: Characterization and Enumeration
11 August 2022 by
Charles Johnson
and
others
Combinatorics
Early Anakinra Treatment for COVID-19 Guided by Urokinase Plasminogen Receptor
8 October 2021 by
E. Kyriazopoulou
and
others
at
National and Kapodistrian University of Athens
Infectious Diseases
