Lean formalizations of IMO problem statements
☆31Oct 23, 2025Updated 4 months ago
Alternatives and similar repositories for formal-imo
Users that are interested in formal-imo are comparing it to the libraries listed below
Sorting:
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Updated this week
- [ICML2024]Adaptive decoding balances the diversity and coherence of open-ended text generation.☆19Jun 2, 2024Updated last year
- Simplified PxGrid, RADIUS and TACACS toolkit☆12Aug 25, 2025Updated 6 months ago
- ☆14Aug 20, 2025Updated 6 months ago
- A minimal JAX library for connectivity modelling at scale☆11Jan 27, 2026Updated last month
- Introduction to neuroimaging machine learning tool Nilearn☆12Oct 24, 2024Updated last year
- This repo is the artifact of FUEL☆13Dec 2, 2025Updated 2 months ago
- The official github repo for the open online courses: "Dive into LLMs".☆10Mar 15, 2024Updated last year
- ☆13Feb 26, 2025Updated last year
- ☆20Dec 30, 2025Updated 2 months ago
- The Coherence Python Client allows Python applications to act as cache clients to an Oracle Coherence cluster using gRPC as the network t…☆12Dec 1, 2025Updated 3 months ago
- Opinionated tool to typeset theorems, lemmas and such☆28Feb 4, 2026Updated 3 weeks ago
- ☆40Dec 6, 2019Updated 6 years ago
- A tool to build custom application simulators through declarative configuration☆11Dec 15, 2025Updated 2 months ago
- [WSDM 2026] LookAhead Tuning: Safer Language Models via Partial Answer Previews☆17Dec 14, 2025Updated 2 months ago
- The official implementation of the EMNLP 2023 paper "Paraphrase Types for Generation and Detection"☆12Oct 20, 2024Updated last year
- Implementation of our paper "Scaling Back-Translation with Domain Text Generation for Sign Language Gloss Translation". Accepted in EACL …☆11May 22, 2023Updated 2 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- ☆13Jan 21, 2026Updated last month
- guarded interaction trees☆11Jul 4, 2025Updated 7 months ago
- Official release of code for the paper RL is a hammer and LLMs are nails A simple RL approach to stronger prompt injection attacks☆40Feb 11, 2026Updated 2 weeks ago
- A handy CLI for executing code in a REPL in a separate pane☆15Oct 18, 2025Updated 4 months ago
- Netbox Meraki Integration tooling☆11Apr 8, 2024Updated last year
- Unofficial. Splunk MCP server. Implemented in Python and TypeScript/JS. Runs searches, queries Splunk, and outputs data as JSON, CSV, or …☆27Jun 16, 2025Updated 8 months ago
- ☆13Dec 5, 2022Updated 3 years ago
- berg 🦀 Transform the contents of Epub documents.☆10Apr 27, 2023Updated 2 years ago
- ☆13Dec 15, 2025Updated 2 months ago
- Utilities to use the Hugging Face Hub API☆12Jan 30, 2025Updated last year
- 一个用 ChatGPT 生成命令行的小玩具☆10Mar 7, 2023Updated 2 years ago
- Code for Findings of ACL 2023 paper "Improving Zero-shot Multilingual Neural Machine Translation by Leveraging Cross-lingual Consistency …☆10Jul 18, 2023Updated 2 years ago
- Self-adaptive, blockchain-secured clusters autonomously synchronize and self-heal, ensuring seamless data integrity across a scalable tra…☆24Feb 7, 2026Updated 3 weeks ago
- Implementation of AdaCQR(COLING 2025)☆13Dec 30, 2024Updated last year
- Tidy autoregressive inference in JAX☆15Sep 1, 2025Updated 6 months ago
- ☆14Dec 12, 2023Updated 2 years ago
- Crafting Adversarial Examples for Neural Machine Translation☆10Apr 7, 2023Updated 2 years ago
- ☆10Oct 15, 2020Updated 5 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- Cisco Live! BRKPRG-1798: Everybody Can Automate Now course material and reference☆10May 25, 2021Updated 4 years ago
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 9 months ago