Log-partition estimation for supported Ising models, with a reported uncertainty interval.
Discuss certcountTHE PRODUCT, IN PRACTICE
Some probabilistic models need a normalization calculation across many possible states, not only the best state. certcount estimates the log partition function for supported Ising models and provides the associated interval information. It gives researchers a different numerical output from optimization: an estimate used to assess the model’s aggregate statistical behavior.
An optimizer’s candidate does not supply the normalization required by a probabilistic calculation.
certcount targets the model’s log partition function rather than returning only a high-quality configuration.
Listing every state becomes unsuitable as the evaluation workload grows.
The tool supplies a supported estimation path that can be checked against exact enumeration on tractable reference cases.
The normalization result must be interpreted with its uncertainty and model assumptions.
certcount returns the reported interval alongside the estimate, keeping its statistical nature visible.
The product scope below describes the capability and outputs to confirm for your release. Custom integration, operated delivery and additional engineering are separately agreed.
A normalization-related estimate for the supported Ising model.
The interval information accompanying the returned estimate.
Exact-enumeration comparisons on tractable supported instances.
The newer certnum: log-Z track adds a separately qualified two-sided-bound capability.
certcount is fully available with CLI, MCP and headless access. Use the interface that fits your terminal, your agents or your automated workflow.
Run the product from a terminal or script, alongside the tools your team already uses.
Get CLI accessConnect MCP-compatible clients and agents to the product’s exposed capabilities.
Get MCP accessOperate without a graphical interface in unattended, scheduled or pipeline-driven work.
Set up headless accessProduct-specific inputs, hardware requirements and result guarantees still apply. An access mode does not change your license or deployment scope.
Explore all product interfacesA researcher wants a scalable estimation workflow with small reference cases that can still be enumerated.
Illustrative use of the supported scope, not a customer case study or a measured result.Provide the model and numerical estimation requirements.
Obtain the estimate and reported interval.
Compare the reference cases before extending the evaluation to larger instances.
Statistical-physics, probabilistic-modeling and counting researchers.
CLI, MCP and headless access are all available. Run from a terminal or script, connect an MCP-compatible client, or use the product without a graphical interface. Choose the mode during onboarding and receive its setup instructions. Runtime requirements and supported operations remain product-specific.
This is not exact counting for arbitrary discrete models. The supplied summary does not establish universal confidence coverage. certnum: log-Z and certnum: Exact counting are separate tracks with different output requirements.
The agreed certcount release, its supported interfaces and outputs, the applicable checks and the support stated in your order. The plan defines users, workflow, environment and capacity. Source-code transfer, unrestricted redistribution and bespoke engineering are not automatically included.
Request a scoped engineering or operated-service proposal. It identifies what our team delivers, where the workload runs, infrastructure costs, acceptance requirements and ongoing support. Your software subscription alone does not activate a hosted runtime.
Explore engineeringP49 / Company-reported. The reported estimates matched exact enumeration on the evaluated instances. The newer log-Z track has a separate two-sided-bound scope; neither is the general exact-counting module.
These descriptions come from the supplied product and campaign material. Website checks are not an independent rerun of the engine. Qualification identifies the actual release, workload and available artifacts.
Read the evidence summaryCustomer-hosted access and a service operated by SpinForge are different scopes. Confirm the release, deployment and included support before activation.
Plans & deliveryBring a representative workload and the result your team needs. We’ll define the product, deployment and engineering scope around that task.
Activate this capability inside a qualified checked decisions workflow. Compatible methods and required shared checking are included once within that workflow; the product remains independently purchasable.
Capacity, release, environment, result contract and operating responsibilities are specified before activation. Choosing an additional method is not permission to add an unrelated workload or unqualified deployment.
Explore Checked Decisions Choose workflow capacityCommission the model, integration and acceptance work needed for your task. Existing products stay independently available.
Use the software directly or ask us to scope the implementation.
One capability. A connected workflow.
A team to put it into practice.