Project 1729 is Pramaana’s inaugural research cohort for universities, research labs, and domain experts working to turn high-stakes human knowledge into machine-checkable systems.

If your field has rules, constraints, exceptions, ambiguity, and consequences, we want to work with you.
Pramaana brings the verification stack.
You bring the problem.

Project 1729 is Pramaana’s inaugural research cohort for universities, research labs, and domain experts working to turn high-stakes human knowledge into machine-checkable systems.

If your field has rules, constraints, exceptions, ambiguity, and consequences, we want to work with you.
Pramaana brings the verification stack.
You bring the problem.

See it in action

Bring us a domain

01

Up to
5 fellowships

02

6–12
month projects

03

Embedded
Pramaana engineer

04

Grants + platform credits

05

Open
publication

06

No
exclusivity

*No hidden agenda :)

01

Up to
5 fellowships

02

6–12
month projects

03

Embedded
Pramaana engineer

04

Grants + platform credits

05

Open
publication

06

No
exclusivity

*No hidden agenda :)

What is Project 1729?

A research program for formalizing the world’s hardest domains.

It supports researchers and domain experts applying formal-verification machinery to real-world problems where the knowledge already exists, but has never been made machine-checkable

That knowledge may live in statutes, contracts, standards, clinical guidelines, safety protocols, scientific theories, financial systems, or expert practice. The goal is not another paper about AI.

The goal is to produce a formal artifact: a verified domain model, benchmark, proof system, solver, or expert-readable verification workflow that moves a field closer to machine-checkable truth.

Apply to Project 1729 Cohort 0

Schedule a call

If a domain has rules, constraints, and consequences,
it can become a verification system.

Who should apply section

Project 1729 is for people who understand a domain deeply enough to know where current AI will fail.
You do not need to have every formal-methods answer already.

You need a domain where correctness matters, a problem that can be scoped, and the judgment to know what a verified artifact should prove.

Project 1729

University Labs

University Labs

AI, formal methods, programming languages, automated reasoning, law, medicine, economics, public policy, systems, and scientific computing labs.

Specialists

Domain Experts

Domain Experts

Experts in tax, law, healthcare, finance, infrastructure, environmental policy, safety, scientific modeling, or other rule-heavy fields.

Academics

Research Teams

Research Teams

Groups with a concrete corpus, benchmark, formalization challenge, or verification problem that could become a publishable research artifact.

Organizations

Institutional Partners

Institutional Partners

Research institutes, public-interest organizations, standards bodies, and policy groups working on domains where correctness is non-negotiable

Apply to Project 1729 Cohort 0

Schedule a call

Who should apply section

Project 1729 is for people who understand a domain deeply enough to know where current AI will fail.
You do not need to have every formal-methods answer already.

You need a domain where correctness matters, a problem that can be scoped, and the judgment to know what a verified artifact should prove.

Project 1729

University Labs

AI, formal methods, programming languages, automated reasoning, law, medicine, economics, public policy, systems, and scientific computing labs.

Specialists

Domain Experts

Experts in tax, law, healthcare, finance, infrastructure, environmental policy, safety, scientific modeling, or other rule-heavy fields.

Academics

Research Teams

Groups with a concrete corpus, benchmark, formalization challenge, or verification problem that could become a publishable research artifact.

Organizations

Institutional Partners

Research institutes, public-interest organizations, standards bodies, and policy groups working on domains where correctness is non-negotiable

Apply to Project 1729 Cohort 0

Schedule a call

Project 1729

Three Programs.
One Thesis.

Project 1729 funds three kinds of partners, each working at a different layer of the same problem. Together, they make the thesis testable.

How does this collaboration work?

Pramaana is not asking researchers to become a startup team. We are building a research collaboration model around a clear division of strengths.

You bring deep domain knowledge, research judgment, and a problem worth formalizing. Pramaana brings the verification stack, engineering support, and a path from domain insight to machine-checkable artifact.

What Pramaana brings

WE PROVIDE

01

The verification stack

02

Domain Formalizer, Auto-Formalizer, Prover, and De-Formalizer infrastructure for turning human knowledge into formal, checkable systems

03

Embedded engineering

04

A dedicated Pramaana engineer working with the project for the full term.

05

Funding and platform credits

06

Support across grants, compute, tooling, and Pramaana platform access.

07

Research collaboration

What you bring

YOU CONTRIBUTE

01

A domain that matters

02

A body of knowledge where correctness, traceability, or auditability matters

03

A specific formalization challenge, not a vague ambition.

04

Source material

05

Rules, texts, standards, cases, guidelines, data dictionaries, examples, or expert workflows

06

Research leadership

07

A PI, researcher, or domain lead who owns the project intellectually.

08

Evaluation judgment

09

A way to tell whether the artifact is useful, faithful, and correct.

What comes out of the project?

A successful Project 1729 collaboration should leave behind more than a report. It should produce an artifact that makes a domain more verifiable than it was before.

A successful Project 1729 collaboration should leave behind more than a report. It should produce an artifact that makes a domain more verifiable than it was before.

Formalized domain model

A machine-checkable representation of rules, constraints, definitions, exceptions, and dependencies.

Proof artifact

A record of the claim, assumptions, sources, formal representation, and verification result.

Formalized domain model

A way to identify where a proposed answer, policy, rule, or model output fails


A way to identify where a proposed answer, policy, rule, or model output fails

Benchmark or evaluation suite

A structured way to measure reasoning quality in a domain where current models struggle

Research publication

A paper, preprint, technical report, or open research artifact that advances the field

Expert-readable explanation

A de-formalized output that domain experts can inspect, challenge, and sign off on

Something else?

Something else?

Help us formalize the outcome

Apply to Project 1729 Cohort 0

Schedule a call

Formalized domain model

A machine-checkable representation of rules, constraints, definitions, exceptions, and dependencies.

Proof artifact

A record of the claim, assumptions, sources, formal representation, and verification result.

Formalized domain model

A way to identify where a proposed answer, policy, rule, or model output fails


Benchmark or evaluation suite

A structured way to measure reasoning quality in a domain where current models struggle

Research publication

A paper, preprint, technical report, or open research artifact that advances the field

Expert-readable explanation

A de-formalized output that domain experts can inspect, challenge, and sign off on

Something else?

Help us formalize the outcome

Apply to Project 1729 Cohort 0

Schedule a call

Learn more about us

Not sure whether your problem is ready for Project 1729?

Schedule a scoping call with Pramaana.
We can help assess whether the domain is formalizable, what a bounded project could look like, and which track fits best.

Schedule a Call

Schedule a Call

FAQ

FAQ

Do I need to be a formal methods researcher?

No. Some projects will come from formal methods labs. Others will come from domain experts who understand a body of knowledge deeply. The strongest projects combine domain judgment with a problem that can be made precise.

What kinds of domains fit?

Domains with rules, constraints, exceptions, high-stakes decisions, or expert review. Examples include computational law, regulatory compliance, healthcare, environmental policy, financial and cryptographic protocols, autonomous systems safety, AI-generated code, and scientific theories currently written in informal prose.

What does Pramaana provide?

Selected projects receive access to the Pramaana verification stack, embedded engineering support, and program support across grants and platform credits.

How long does a project run?

Project 1729 collaborations are designed for 6–12 months, renewable by mutual agreement.

Can we publish?

Yes. Project 1729 is designed for open publication. The goal is to produce artifacts the field can inspect, cite, challenge, and build on.

What should the one-page proposal include?

The problem, why it matters, its connection to formal verification, the source material available, the lead researcher or domain expert, and the artifact the project should produce.

What if my project is not fully scoped?

Schedule a call. Some of the best Project 1729 ideas will begin as domain intuition before becoming a formal research plan.

The world's
hardest problems are
not unsolvable.



They are unformalized.

research partnership

If the domain has rules, constraints, and consequences,

it can be formalized.

If the domain has rules, constraints, and consequences, it can be formalized.

If the domain has rules, constraints, and consequences,

it can be formalized.

The knowledge already exists.
It lives in codes, case law, guidelines, standards, papers, protocols, and expert practice. But it is written for humans to interpret - not for machines to verify. Pramaana’s work is to make that knowledge executable, inspectable, and provable.

The knowledge already exists.
It lives in codes, case law, guidelines, standards, papers, protocols, and expert practice. But it is written for humans to interpret - not for machines to verify. Pramaana’s work is to make that knowledge executable, inspectable, and provable.

The knowledge already exists.
It lives in codes, case law, guidelines, standards, papers, protocols, and expert practice. But it is written for humans to interpret - not for machines to verify. Pramaana’s work is to make that knowledge executable, inspectable, and provable.

Bring us a problem

Apply to our research program

Apply to our research program