William Hart | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Joshua B. Tenenbaum
180 publications
Adrian Weller
101 publications
Thomas Lukasiewicz
82 publications
Yuhuai Wu
40 publications
Mateja Jamnik
36 publications
Umang Bhatt
31 publications
Fredrik Johansson
21 publications
Wenda Li
16 publications
Katherine M. Collins
10 publications
Miri Zilka
7 publications
Claus Fieker
5 publications

research

∙ 06/02/2023

Evaluating Language Models for Mathematics through Interactions

The standard methodology of evaluating large language models (LLMs) base...

0 Katherine M. Collins, et al. ∙

research

∙ 05/17/2017

Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language

We introduce two new packages, Nemo and Hecke, written in the Julia prog...

0 Claus Fieker, et al. ∙