How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.
Bosque is an experimental programming language and development platform designed for machine-assisted software construction. It combines functional programming semantics with imperative syntax to enforce logic correctness and runtime safety, providing a type-safe environment that utilizes structured data models to maintain information integrity throughout the application lifecycle. The platform distinguishes itself through deep integration with formal verification tools, including automated theorem provers and symbolic execution engines. By transforming source code into a regularized intermed
Dream-Coder 7B is a diffusion LLM for code trained exclusively on open-source data across its development stages—adaptation, supervised fine-tuning, and reinforcement learning. It achieves an impressive 21.4% pass@1 on LiveCodeBench (2410-2505), outperforming other open-source diffusion LLMs by…
This repository includes implementations to reproduce the R1 pipeline for code generation:
We introduce StepFun-Prover-Preview, large language models designed for formal theorem proving through tool-integrated reasoning. Using a reinforcement learning pipeline that incorporates tool-based interactions, StepFun-Prover Preview can achieve strong performance in generating Lean 4 proofs…
The main features of stepfun-ai/stepfun-prover-preview are: Code and Formal Reasoning.
Open-source alternatives to stepfun-ai/stepfun-prover-preview include: microsoft/bosquelanguage — Bosque is an experimental programming language and development platform designed for machine-assisted software… dreamlm/dream-coder — Dream-Coder 7B is a diffusion LLM for code trained exclusively on open-source data across its development… ganler/code-r1 — This repository includes implementations to reproduce the R1 pipeline for code generation:. hhhuang/arar. huggingface/open-r1 — Open-r1 is a framework designed for the large-scale training, distillation, and optimization of language models… deepseek-ai/deepseek-prover-v2.
