Search Results for author:
Found 6 papers, 4 papers with code
Llemma: An Open Language Model For Mathematics
We present Llemma, a large language model for mathematics.
Ranked #5 on
Automated Theorem Proving
on miniF2F-test
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
We hope that our dataset, openly released on the Hugging Face Hub, will help spur advances in the reasoning abilities of large language models.
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics.
Explicit Knowledge Transfer for Weakly-Supervised Code Generation
More specifically, we propose explicit knowledge transfer (EKT), which uses the few-shot capabilities of a teacher LLM to create NL-code pairs that we then filter for correctness and fine-tune the student on.
MetaCOG: Learning a Metacognition to Recover What Objects Are Actually There
Specifically, MetaCOG is a hierarchical probabilistic model that expresses a joint distribution over the objects in a 3D scene and the outputs produced by a detector.
SummerTime: Text Summarization Toolkit for Non-experts
We also provide explanations for models and evaluation metrics to help users understand the model behaviors and select models that best suit their needs.
