Article
How NuminaMath Won the 1st AIMO Progress Prize
•
119
Ben Lipkin
benlipkin
AI & ML interests
Cognitive Science, NLP, Program Synthesis
Recent Activity
authored
a paper
11 days ago
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers
authored
a paper
11 days ago
Fast Controlled Generation from Language Models with Adaptive Weighted
Rejection Sampling
Organizations
