Author-in-the-Loop Autoformalization of Research Papers in Lean
☆15Nov 5, 2026Updated this week
Alternatives and similar repositories for PaperFormalizer
Users that are interested in PaperFormalizer 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 Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference☆74Oct 12, 2026Updated 3 weeks ago
- Dungeon Crawl Stone Soup port to iOS☆13Jan 7, 2025Updated last year
- Lean 4 kernel with NbE☆19Oct 28, 2026Updated last week
- C++ implementation of the SQP algorithm SOLNP, utilizing Lagrangian Relaxation to handle both Inequality and Equality constraint function…☆16Oct 16, 2025Updated last year
- A collection of Claude Code skills for iOS, Swift, SwiftUI, and more☆13Jan 17, 2026Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ananke named for the Greek primordial goddess of necessity and causality, is a python package for causal inference using the language o…☆17May 28, 2020Updated 6 years ago
- Riemannian coordinate descent algorithms on matrix manifolds (ICML 2024)☆11Jun 20, 2024Updated 2 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- ☆14Nov 16, 2024Updated last year
- ☆12May 21, 2019Updated 7 years ago
- State-of-the-art bio cell models for inference and training. Minimal, readable, and produciton-ready.☆33Oct 28, 2026Updated last week
- Algorithms for Single Particle Reconstruction☆15Apr 15, 2024Updated 2 years ago
- Play Dungeon Crawl Stone Soup (DCSS) on your phone, online or fully offline. Unofficial mobile DCSS app for iOS (iPhone, iPad) & Android.…☆21Oct 29, 2026Updated last week
- ☆19Jul 19, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Matlab interior point solver for quadratic programs☆14Jul 24, 2017Updated 9 years ago
- ☆15May 29, 2023Updated 3 years ago
- tvopt is a prototyping and benchmarking Python framework for time-varying (or online) optimization.☆14Apr 6, 2023Updated 3 years ago
- A collection of tools to enhance your solo roleplaying games.☆17Jul 30, 2020Updated 6 years ago
- BAGEN (Budget-Aware Agent): benchmark and training code for budget-aware LLM agents that estimate token, time, and money cost mid-task.☆19Updated this week
- SOLNP+: A derivative-free optimization software☆24Oct 2, 2026Updated last month
- ☆21Sep 2, 2026Updated 2 months ago
- Adaptive optimization procedure☆16Apr 9, 2018Updated 8 years ago
- ☆24Jan 30, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Mar 22, 2026Updated 7 months ago
- camroll • an AI assistant for your personal camera roll 🎞️ • Personal VQA☆26Sep 17, 2026Updated last month
- Bates ECON 368 Big Data and Economics syllabus and lectures☆28Jun 3, 2026Updated 5 months ago
- A Racket port of https://github.com/trystan/AsciiPanel☆11Sep 12, 2015Updated 11 years ago
- Reflex wrapper for the ACE editor☆12Jul 25, 2019Updated 7 years ago
- MATLAB implementation of ManPG☆15Oct 26, 2022Updated 4 years ago
- Globally Convergent Type-I Anderson Acceleration for Non-Smooth Fixed-Point Iterations☆21Oct 17, 2018Updated 8 years ago
- Discovery Foundation Models (DFMs)☆32Oct 19, 2026Updated 2 weeks ago
- Sort tailwind className strings by a given order-config☆11Oct 11, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆26Aug 18, 2026Updated 2 months ago
- ☆15Oct 12, 2026Updated 3 weeks ago
- Vector Quantile Regression☆20Apr 3, 2025Updated last year
- ☆32May 27, 2018Updated 8 years ago
- Implementation of "Hierarchical Reasoning Model" in MLX (Swift)☆25Aug 11, 2025Updated last year
- Support for linguistics-style examples in Org mode☆10Dec 9, 2022Updated 3 years ago
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 9 years ago