A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and Proving through agentic tool-integrated reasoning.
☆88May 9, 2026Updated last month
Alternatives and similar repositories for LongCat-Flash-Prover
Users that are interested in LongCat-Flash-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:
- Experiments for 6D estimation with tactile features.☆10Mar 1, 2024Updated 2 years ago
- wavedrom to verilog converter☆17Sep 14, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/edlut☆17Mar 15, 2023Updated 3 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆30Aug 19, 2025Updated 10 months ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆15Jul 10, 2024Updated last year
- 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.
- ☆44Sep 19, 2024Updated last year
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆32May 4, 2025Updated last year
- ☆17Oct 27, 2024Updated last year
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- ☆23Dec 7, 2023Updated 2 years ago
- Codebase for Inference-Time Policy Adapters☆25Nov 3, 2023Updated 2 years ago
- Collections of Actions for Custom GPTs (some created by Captain Action)☆11Jan 7, 2024Updated 2 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Feb 15, 2024Updated 2 years ago
- ☆49Jun 15, 2026Updated 2 weeks 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.
- ☆33Jun 12, 2025Updated last year
- ☆320Sep 11, 2025Updated 9 months ago
- ☆30Jan 30, 2025Updated last year
- From Dataset Labeling, Entity Extraction to production Knowledge Graph Deployment: The Power of NLP and LLMs Combined.☆12Jun 19, 2026Updated last week
- 国科大 并发数据结构与多核编程☆18Jan 25, 2019Updated 7 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36May 27, 2026Updated last month
- ☆23Nov 25, 2022Updated 3 years ago
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆36Mar 9, 2025Updated last year
- MidasTouch: Monte-Carlo inference over distributions across sliding touch☆50Sep 10, 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.
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆55Jul 18, 2024Updated last year
- ☆11Nov 6, 2024Updated last year
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- Solutions to the complete set of assignment problems which I did while crediting Computational Physics course by Prof. Manish Jain at IIS…☆11May 30, 2021Updated 5 years ago
- ☆47Apr 6, 2024Updated 2 years ago
- ☆54Jul 18, 2024Updated last year
- Official Implementation of "MemFlow: Flowing Adaptive Memory for Consistent and Efficient Long Video Narratives"☆211Dec 29, 2025Updated 6 months ago
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆49Jun 2, 2026Updated 3 weeks ago
- [CVPR 2025] TensoFlow: Tensorial Flow-based Sampler for Inverse Rendering☆15Sep 20, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Deep Dream Challenge code by @SIrajology on Youtube (Learn Python for Data Science #5)☆10Nov 7, 2016Updated 9 years ago
- Code implementation of the Quantigic 101 Formulaic Alphas☆12Mar 7, 2019Updated 7 years ago
- Data analysis workflow kit for AI coding agents. Structure your analysis with the ALIVE loop — Ask, Look, Investigate, Voice, Evolve.☆42May 27, 2026Updated last month
- robotics lab in the U.S.A with different areas and applications: cv, control, learning, UGV/UAV/UUV ...☆41Nov 7, 2019Updated 6 years ago
- A development kit for manifesting AI agents with a complete lack of conventional limitations☆17Jul 8, 2025Updated 11 months ago
- e☆42Apr 23, 2025Updated last year
- Exploring Multimodal Diffusion Transformers for Enhanced Prompt-based Image Editing☆25Jan 13, 2026Updated 5 months ago