zhangir-azerbayev / proof-pileView external linksLinks
Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
☆22Nov 26, 2022Updated 3 years ago
Alternatives and similar repositories for proof-pile
Users that are interested in proof-pile are comparing it to the libraries listed below
Sorting:
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19May 25, 2023Updated 2 years ago
- Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.☆10Nov 12, 2023Updated 2 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- ☆10Feb 3, 2025Updated last year
- ☆15Apr 12, 2023Updated 2 years ago
- Collect papers about Mamba (a selective state space model).☆14Aug 6, 2024Updated last year
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- ☆26Aug 2, 2022Updated 3 years ago
- Source code for GlorIA models pre-training.☆21Apr 3, 2024Updated last year
- ☆26Nov 1, 2021Updated 4 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆57Sep 6, 2023Updated 2 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- ☆29May 4, 2024Updated last year
- [CoLM 24] Official Repository of MambaByte: Token-free Selective State Space Model☆24Oct 12, 2024Updated last year
- ☆27Feb 26, 2023Updated 2 years ago
- Masked Structural Growth for 2x Faster Language Model Pre-training☆25Apr 28, 2024Updated last year
- Data Structures with Python(AIX20001) 강의 자료실☆18Jun 14, 2024Updated last year
- Software Engineering Back End Microservices Project☆15Nov 20, 2024Updated last year
- This Python project integrates MetaTrader5 with GPT-4 to generate automated trading signals. It analyzes OHLC and tick data to provide re…☆12Aug 25, 2024Updated last year
- The corresponding code for our paper: "Exploring the Challenges of Open Domain Multi-Document Summarization". Do not hesitate to open an …☆33Jun 24, 2023Updated 2 years ago
- An annotated implementation of the Hyena Hierarchy paper☆34May 28, 2023Updated 2 years ago
- ☆22Sep 20, 2023Updated 2 years ago
- Official code for "In Search of Robust Measures of Generalization" (NeurIPS 2020)☆28Dec 22, 2020Updated 5 years ago
- A Terminal User Interface (TUI) application that enables interactive conversations with your documents using Large Language Models (LLM) …☆13Dec 11, 2024Updated last year
- Code repository for "Multi-Task Encoder-Dual-Decoder Modeling Framework on Mixed Frequency Data", International Journal of Forecasting, 2…☆12Feb 18, 2024Updated last year
- An experiment to see if we can process G2 reviews to extract topics from reviews☆10Feb 5, 2024Updated 2 years ago
- A simple Sentiment Analysis API in FastAPI.☆15Dec 17, 2024Updated last year
- Lottery Ticket Adaptation☆40Nov 20, 2024Updated last year
- ☆11Feb 18, 2024Updated last year
- Support for training SSD on TF2☆12Mar 29, 2023Updated 2 years ago
- CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…☆10Apr 19, 2022Updated 3 years ago
- Visual tool for SPARQL queries on graphol graphs☆10Oct 3, 2018Updated 7 years ago
- ☆12Updated this week
- Maintenance Information Extraction (MaintIE)☆16Jun 29, 2024Updated last year
- Use MobileNet SSD and openCV to detect and count car on road☆12Jan 13, 2020Updated 6 years ago
- Interact with ChatGPT and GPT-4 in alternative ways☆13Mar 17, 2024Updated last year
- [ACL'24, Outstanding Paper] Emulated Disalignment: Safety Alignment for Large Language Models May Backfire!☆39Aug 2, 2024Updated last year
- ☆31Mar 13, 2024Updated last year