[ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
☆20Mar 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:
- (ICML'26 Spotlight) ClinTutor-R1: Advancing Scalable and Robust One-to-Many Alignment in Clinical Socratic Education☆14May 2, 2026Updated 6 months ago
- MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?☆11Jun 29, 2025Updated last year
- ☆17Jul 21, 2026Updated 3 months ago
- This is the official implementation for MA-LoT.☆21Aug 4, 2025Updated last year
- VLM2-Bench [ACL 2025 Main]: A Closer Look at How Well VLMs Implicitly Link Explicit Matching Visual Cues☆45May 20, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Mar 25, 2026Updated 7 months ago
- ☆47Jul 29, 2026Updated 3 months ago
- Resources and paper list for 'Scaling Environments for Agents'. This repository accompanies our survey on how environments contribute to …☆75Jan 28, 2026Updated 9 months ago
- ☆11Oct 24, 2025Updated last year
- ☆12May 15, 2025Updated last year
- Public code repo for EMNLP 2024 Findings paper "MACAROON: Training Vision-Language Models To Be Your Engaged Partners"☆14Sep 28, 2024Updated 2 years ago
- A curated list of papers and technical reports related to Multi-Teacher On-Policy Distillation (MOPD).☆18Updated this week
- "Large Language Models" Course (COMP4901B) offered in HKUST☆13Nov 23, 2025Updated 11 months ago
- ☆76Mar 25, 2026Updated 7 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.
- ☆18Sep 11, 2026Updated 2 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 8 months ago
- Spontaenous emergence of conventions in populations of LLMs☆16Feb 27, 2025Updated last year
- ☆30Jun 2, 2026Updated 5 months ago
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models> in EMNLP 2026 Findings☆76Aug 24, 2026Updated 2 months ago
- This repository contains open-source code implementations for assignments and projects from the Master of Science in Data-Driven Modeling…☆13Jul 16, 2026Updated 3 months ago
- This repository contains the official implementation of ExeSQL.☆12Dec 21, 2025Updated 10 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
- Kimina Lean server (+ client SDK)☆216Jan 11, 2026Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆272Updated this week
- RAG-RewardBench: Benchmarking Reward Models in Retrieval Augmented Generation for Preference Alignment☆18Dec 19, 2024Updated last year
- A Good Neighbor, A Found Treasure: Mining Treasured Neighbors for Knowledge Graph Entity Typing. EMNLP 2022☆11Feb 1, 2023Updated 3 years ago
- [NeurIPS 2026] Towards On-Policy Data Evolution for Visual-Native Multimodal Deep Search Agents☆34May 13, 2026Updated 6 months ago
- ☆14Nov 18, 2025Updated 11 months ago
- ☆13Jan 15, 2026Updated 10 months ago
- Lean4 benchmark on 1 category.☆30Jun 19, 2026Updated 4 months ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆60Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- ☆19Oct 14, 2024Updated 2 years ago
- Benchmarking Agent Capabilities in Ultra Long-Horizon Scenarios☆29Sep 30, 2025Updated last year
- Lean4 Code Editor☆19Oct 9, 2026Updated last month
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- ☆138Apr 12, 2026Updated 7 months ago
- ☆16Mar 27, 2024Updated 2 years ago
Are these results useful?