A curated list of awesome interactive theorem prover frameworks
☆23Jun 19, 2026Updated 3 weeks ago
Alternatives and similar repositories for awesome-interactive-theorem-prover
Users that are interested in awesome-interactive-theorem-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A self-evolving coding agent in Rust: the smallest possible implementation that actually works.☆15Updated this week
- ☆15May 7, 2026Updated 2 months ago
- ☆12Jun 19, 2026Updated 3 weeks ago
- Compare chatbots pairwise via multi‑round evaluations for SE tasks.☆15Apr 4, 2026Updated 3 months ago
- A curated list of awesome autonomous researcher frameworks☆139Jul 6, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An autonomous research agent that turns a topic into a peer-reviewed technical report☆120Jun 3, 2026Updated last month
- A curated list of awesome resources for spec-driven development (SDD)☆204Jul 4, 2026Updated last week
- A curated list of awesome leaderboard-oriented resources for AI domain☆370Updated this week
- Evaluation tools for Retrieval-augmented Generation (RAG) methods.☆171Nov 18, 2024Updated last year
- A curated list of awesome curated lists of many topics related to artificial intelligence.☆223Updated this week
- [ACL2026 oral] Uni-MMMU : A Massive Multi-discipline Multimodal Unified Benchmark☆25Apr 13, 2026Updated 3 months ago
- ☆10Apr 17, 2024Updated 2 years ago
- ☆15Jun 19, 2026Updated 3 weeks ago
- This is the code for CVPR2022 paper "Modeling Motion with Multi-Modal Features for Text-Based Video Segmentation"☆19Feb 19, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26Jun 3, 2025Updated last year
- Implementation of the Hierarchical Latent Action Model, proposed by Hanjung Kim et al. of Yonsei University☆17May 6, 2026Updated 2 months ago
- Official PyTorch implementation of "Weakly Supervised Semantic Segmentation for Driving Scenes", AAAI2024☆21Mar 16, 2025Updated last year
- [NeurIPS 2025] 𝒳-Scene: Large-Scale Driving Scene Generation with High Fidelity and Flexible Controllability☆45May 9, 2026Updated 2 months ago
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆11Oct 11, 2024Updated last year
- ☆20Nov 3, 2024Updated last year
- 《机器学习理论导引》（宝箱书）的证明、案例、概念补充与参考文献讲解。☆1,709Jul 7, 2026Updated last week
- ☆17Updated this week
- 中文金融大模型测评基准，六大类二十五任务、等级化评价，国内模型获得A级☆10May 6, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Knowledge Graph based Question Answering benchmark.☆10Feb 1, 2020Updated 6 years ago
- This is the source code of FUSION, a safety-aware causal representation for generalizable driving agents.☆28Oct 23, 2024Updated last year
- A Swedish Natural Language Understanding Benchmark☆11Apr 23, 2026Updated 2 months ago
- The official Python library for Openlayer, the Continuous Model Improvement Platform for AI. 📈☆16Updated this week
- ☆13Mar 5, 2025Updated last year
- 一款开源的基金估值、智能理财Agent框架☆41Updated this week
- Code and data for automatic paraphrase dataset augmentation.☆11Mar 8, 2021Updated 5 years ago
- ☆11Jan 3, 2024Updated 2 years ago
- Align, a general text alignment function☆15Dec 7, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Nov 5, 2024Updated last year
- LGEB: Benchmark of Language Generation Evaluation☆16Oct 21, 2022Updated 3 years ago
- [CVPR2024] Learning from Synthetic Human Group Activities☆14Feb 24, 2025Updated last year
- Claude Code skill: read & write Overleaf projects via the git bridge. Works on Mac/Linux/WSL.☆24May 7, 2026Updated 2 months ago
- This is the official project repository for "DriveGEN: Generalized and Robust 3D Detection in Driving via Controllable Text-to-Image Diff…☆38Aug 27, 2025Updated 10 months ago
- Website for release of TellMeWhy dataset for why question answering☆14Nov 11, 2022Updated 3 years ago
- Interface for GenAI-Arena [NeurIPS24]☆16Feb 27, 2024Updated 2 years ago