Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
5
1
1
Ben Lipkin
benlipkin
Follow
pengli09's profile picture
Longhui98's profile picture
Zeki61's profile picture
8 followers
·
0 following
https://benlipkin.github.io/
ben_lipkin
benlipkin
AI & ML interests
Cognitive Science, NLP, Program Synthesis
Recent Activity
updated
a dataset
1 day ago
benlipkin/stack-overflow
published
a dataset
1 day ago
benlipkin/stack-overflow
authored
a paper
9 months ago
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
View all activity
Organizations
Articles
1
Article
124
How NuminaMath Won the 1st AIMO Progress Prize
Papers
4
arxiv:
2504.05410
arxiv:
2405.09605
arxiv:
2310.15164
arxiv:
2305.06161
models
8
Sort: Recently updated
benlipkin/gpt2_512_wikitext_100M_20_d4f8870be67f0770
Text Generation
•
Updated
Mar 10, 2023
•
11
benlipkin/gpt2_256_wikitext_100M_20_26e50955232e9b5c
Text Generation
•
Updated
Mar 10, 2023
•
14
benlipkin/gpt2_128_wikitext_100M_20_6adb2593f59e6343
Text Generation
•
Updated
Mar 10, 2023
•
16
benlipkin/gpt2_64_wikitext_100M_20_5cd4da41b7fe7e3d
Text Generation
•
Updated
Mar 10, 2023
•
11
benlipkin/gpt2_32_wikitext_100M_20_4271d55d34c8c387
Text Generation
•
Updated
Mar 10, 2023
•
17
benlipkin/gpt2_16_wikitext_100M_20_1c15056cf51bff47
Text Generation
•
Updated
Mar 10, 2023
•
14
benlipkin/gpt2_8_wikitext_100M_20_27a3016f17f9dd51
Text Generation
•
Updated
Mar 10, 2023
•
15
benlipkin/gpt2_1024_wikitext_100M_20_e12e6d4615e6a1e5
Text Generation
•
Updated
Mar 7, 2023
•
10
datasets
5
Sort: Recently updated
benlipkin/stack-overflow
Viewer
•
Updated
1 day ago
•
49.2k
benlipkin/arlsat
Viewer
•
Updated
Mar 4, 2024
•
2.05k
•
166
benlipkin/folio
Viewer
•
Updated
May 2, 2023
•
204
•
99
•
1
benlipkin/rnng-brainscore
Updated
Nov 9, 2022
•
149
•
1
benlipkin/braincode-neurips2022
Viewer
•
Updated
Sep 22, 2022
•
240k
•
162
•
1