SmartInferProducts
Current product · private pilots
Marketing allocation
Galileo — the Marketing Scientist agent
Decision: How should the next marketing budget be allocated?
Galileo combines mathematical analysis with an evidence-grounded AI agent. Teams can ask the kinds of questions they would put to a statistician or economist—including model-based counterfactual questions about budget allocation—and receive answers bounded by computed results, uncertainty, and credibility checks.
Channel contributions · response and saturation curves · budget scenarios · confidence estimates · evidence traces
Evidence & research
- From Model Fit to Marketing Decisions → Experimental report · 90 synthetic datasets · decision-quality benchmark
- The Confident Wrong Number → Research note · synthetic identifiability demonstration
Coming soon
Retail specialists
-
Shopping Associate AI agent Under development
Decision: Which products should a shopper discover and compare?
Customer-facing product discovery and guidance for product and policy questions, comparisons, fit, and use cases—toward checkout.
-
Product Discoverability Agent Under development
Decision: How should the catalogue change so search systems and AI shopping agents can understand, retrieve, compare, and recommend its products?
Analyses and improves product data, attributes, taxonomy, structured metadata, comparison facts, and catalogue relationships so search systems and AI shopping agents have the information needed to understand, retrieve, compare, and recommend products.
Specialist models · private build
Domain expertise in smaller models
Question: When can a bounded domain be served by a smaller specialised model?
Domain Expert Private build
Technology for building smaller models with bounded domain expertise, evaluated against the tasks they are intended to perform.
Engineering · private build
Engineering decisions where verification matters
Generated software creates a second decision beyond generation: what evidence is sufficient to accept, merge, deploy, or certify the artifact?
Software acceptance
Decision: What evidence is sufficient to trust a generated software change?
Software Engineer Private build
An early direction for specification-driven generation, test-backed repair, and evidence-gated software changes.
Evidence & research
- Verified Software Generation: The First Protozoa Experiments → Experimental report · two early end-to-end systems · bounded verification and repair