[ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
☆18Mar 20, 2026Updated 7 months ago
Alternatives and similar repositories for Lean4PHYS
Users that are interested in Lean4PHYS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Mar 25, 2026Updated 7 months ago
- Spontaenous emergence of conventions in populations of LLMs☆15Feb 27, 2025Updated last year
- Sard (سَرْد) — a desktop EPUB & PDF reader with first-class Arabic typography. Tauri 2 + Rust + React. Offline neural text-to-speech, spo…☆46Updated this week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆63Feb 23, 2026Updated 8 months ago
- This is the official implementation for MA-LoT.☆21Aug 4, 2025Updated last year
- 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.
- ☆30Jun 2, 2026Updated 4 months ago
- Code and data for the paper: IntentionQA: A Benchmark for Evaluating Purchase Intention Comprehension Abilities of Large Language Models …☆12Apr 27, 2024Updated 2 years ago
- [ACL 2024] "Understanding and Patching Compositional Reasoning in LLMs"☆14Aug 8, 2026Updated 2 months ago
- Agentic Quality-Diversity Search for Research Idea Generation☆20Updated this week
- AST export from Lean 4☆18Jul 25, 2024Updated 2 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- This GitHub provides the source code for the paper "Exploring Facial Expression and Action Units in Parkinson Disease"☆10Dec 21, 2022Updated 3 years ago
- ☆19Oct 14, 2024Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆60Oct 18, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Latex package for drawing SD diagrams using tikz☆10Jun 6, 2016Updated 10 years ago
- Lean4 benchmark on 1 category.☆28Jun 19, 2026Updated 4 months ago
- ☆138Apr 12, 2026Updated 6 months ago
- Performance metrics for Github repositories☆25Feb 12, 2023Updated 3 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated last year
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated last month
- Official implementation of Latent-GRPO: reinforcement learning for vocabulary-space latent reasoning.☆22Aug 31, 2026Updated last month
- ☆16Mar 27, 2024Updated 2 years ago
- The official codebase for our paper "NOVA: NOise-aware Verbal Confidence CAlibration for Robust Large Language Models in RAG Systems"☆23Aug 26, 2026Updated 2 months 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.
- Lean4 Code Editor☆19Oct 9, 2026Updated 2 weeks ago
- QAFE-Net: Quality Assessment of Facial Expressions with Landmark Heatmaps☆14Aug 5, 2026Updated 2 months ago
- Point-in-time snapshot of projects describing themselves as AI agent harnesses (April 2026)☆18Apr 4, 2026Updated 6 months ago
- This repository is used to clear PDF Password using Python☆10Nov 14, 2021Updated 4 years ago
- Make math learning simpler, starting with Nano Math plus , too!☆46Jul 16, 2026Updated 3 months ago
- JPEG的正向离散余弦变化、量化、Z字形编码、对DC编码、AC编码、熵编码以及图像重构☆13May 27, 2019Updated 7 years ago
- ☆194Aug 27, 2025Updated last year
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- ☆20Aug 17, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 从 幻觉翻译 获取基于 LaTex 源码翻译的arXiv文章☆24Jul 20, 2026Updated 3 months ago
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 4 years ago
- ☆38Jan 10, 2025Updated last year
- Codes for the EMNLP2021 paper: Benchmarking Commonsense Knowledge Base Population (https://aclanthology.org/2021.emnlp-main.705.pdf). An …☆26Feb 14, 2024Updated 2 years ago
- ☆18Mar 25, 2026Updated 7 months ago
- [ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures fo…☆141Jul 15, 2026Updated 3 months ago