Lists (1)
Stars
GreaterPrompt: A Python Toolkit for Prompt Optimization
This repository includes code and materials for the paper "Training Step-Level Reasoning Verifiers with Formal Verification Tools".
Cooperative Learning of Disjoint Syntax and Semantics
Tutorial on neural theorem proving
Code space for 'Evaluation of large language models for discovery of gene set function'
This repository includes the official implementation of OpenScholar: Synthesizing Scientific Literature with Retrieval-augmented LMs.
This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
State-of-the-art bilingual open-sourced Math reasoning LLMs.
Tool for data extraction and interacting with Lean programmatically.
A high-throughput and memory-efficient inference and serving engine for LLMs
Large Language Model Text Generation Inference
EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
A curated list of retrieval-augmented generation (RAG) in large language models
This repository maintains dataset, predictions, and code for paper: Verbosity $\neq$ Veracity: Demystify Verbosity Compensation Behavior of Large Language Models
Source code for GreaTer ICLR 2025 - Gradient Over Reasoning makes Smaller Language Models Strong Prompt Optimizers
🦜🔗 Build context-aware reasoning applications
A one stop repository for generative AI research updates, interview resources, notebooks and much more!
Forward-Looking Active REtrieval-augmented generation (FLARE)
This includes the original implementation of SELF-RAG: Learning to Retrieve, Generate and Critique through self-reflection by Akari Asai, Zeqiu Wu, Yizhong Wang, Avirup Sil, and Hannaneh Hajishirzi.