# Zetesis Labs

> An institutionally-funded deep-tech research programme at ARTPARK @ IISc (Bengaluru, India). Zetesis Labs builds verified, long-horizon synthetic discovery systems: measurement, causal world-models, and formal verification kernels composed into systems that stay correct as conditions change.

Zetesis is built around a research framework called **Zetema**: discovery as inquiry over structured ignorance. The framework is formalized in Lean4 and applied to industrial pilots, biomedical sensing, and scientific-discovery infrastructure.

## Principal Investigator

Dhruv Gupta (b. 31 December 2002, Bengaluru, India). Principal Investigator at Zetesis Labs. Innovator-in-Residence at ARTPARK @ IISc. B.S. (Research) Biology, Indian Institute of Science, Bangalore (2021–2025). First Class with Distinction, CGPA 8.8/10. Thesis (A+, Rank 1): *Measuring What Models Miss*.

## Pages

- [Home](https://zetesislabs.com/): Zetesis Labs positioning, services, pilots, intelligence stack
- [Dhruv Gupta — PI profile](https://zetesislabs.com/dhruv.html): full work record, live GitHub integration, research programme, contact
- [Lab — research programme detail](https://zetesislabs.com/lab.html): framework, case studies, takeaways
- [CV (PDF)](https://zetesislabs.com/public/dhruv_gupta_resume_v6.pdf): machine-readable curriculum vitae, two-page lean mathematical style

## Research engagements

- **Applied causal / RCA pilots**: Ather-template programme engagements that build a causal world-model for a partner's failure-mode analysis; deliver dashboards with verification gates. Evidence: Ather K383 (2,586-node / 7,934-edge causal world-model deployed 2025).
- **Formal verification**: Lean4 kernel design and type-theoretic audits of reasoning systems. Evidence: 21,728-line Formal Learning Theory kernel on arXiv.
- **Advisory and research fellowships**: retained advisory for research-heavy teams; short fellowships for focused problems. Evidence: three ARCNet research engagements, 2024–2025.

## Selected evidence

- **Ather Energy welding reliability (K383, 2025)**: 2,586-node / 7,934-edge causal world-model deployed in production. Geometric belief-function diagnostic (Cuzzolin) classifies failure paths: 60% resolvable from error codes, 12% evidence-gated, 28% structurally unresolvable.
- **Formal Learning Theory Kernel**: 21,728 lines of Lean4, machine-checked. Borel–analytic separation theorem that weakens Krapp–Wirth 2024's Borel-measurability hypothesis to analytic / null-measurable, with a strict separation witness; constructive MWU-based compression proof; first Lean4 PAC-Bayes; Choquet capacitability.
- **Terrapulse**: open-source research-grade soil CO₂ flux instrument (~$150 BOM). Three-layer Bayesian calibration. Lahaul–Spiti field deployment, 3.8% flux MAE, ±2 ppm precision, sub-minute pulse capture.
- **Hyper-Resonant Dendritic Oscillations (HDO)**: novel bistable-oscillation model in stellate cells with noise-driven switching and calcium-dependent metaplastic regulation as a single-neuron timing primitive.
- **First Proof Challenge**: LLM harness reached 4/10 on Harvard's benchmark using $32 of commodity API compute on a MacBook.

## Research framework: Zetema / URT

- **URS** = ⟨Axioms, Mechanisms, Representations, Traces⟩ — carrier of any local theory-state.
- **Ignorance quadrants**: KK (known-knowns), KU (known-unknowns), UK (unknown-knowns / pre-structural pressure), UU (unaskable under current URS).
- **Two ledgers**: γ (discovery, stabilizes KK under pressure); Γ (inquiry, changes what is askable).
- **Four measurement classes**: Plausibility (Pl), Coherence (Coh), Invariance (Inv), Completeness (Comp). Not aggregable; each orthogonal.
- **Efficiency metric**: η = ΔK_validated / (E × I_prior).

## Studying Discovery While Doing It (experiments at ascending scale)

The framing: each of the programmes below was run as a nested experiment — a social and research test of what makes discovery faster, more reliable, and less accidental at a given scale.

1. **Virog MedTech**: Founder, IISc-funded student medtech club, ~5 people, institutional grant pool of ₹10 L. Three devices delivered: OECT wound bandage, UV-SSI patch (HAI prevention), physics-driven CVD predictor. The CVD predictor won 1st prize at IIC 2025.
2. **IISc Robotics Club · Team Vicharaka** (2023–): Founder & President, ~30 members, ₹5 L budget. Active lines: lunar rover, rehab exoskeleton, drone, 6-DoF manipulator. Out of the club, the rover team Vicharaka qualified for the Mars-Society University Rover Challenge (Mars Desert Research Station, Utah); Dhruv led the Life-Detection subsystem. The same team was ISRO IRoC-U 2024 finalist (₹25 L grant), supported by the Nahar Centre for Robotics at IISc under Prof. Pradipta Biswas.
3. **IEEE Computer Society / CIS Student Chapter, IISc**: Chair. Open-source 6G lecture series. "Hire an Undergrad" matching programme (MTech/PhD students posted briefs, with faculty sign-off undergrads were recruited as research assistants).
4. **EntIISc Entrepreneurship Cell**: Vice-President. 44 deep-tech student proposals screened and routed to the FSID institutional grant pool (~₹15 L); Boeing sponsorship.
5. **JRD Tata Innovation Support Center, IISc** (2024): Founder-Director and PI of an IISc-funded summer research programme; 40+ students; 8-project portfolio with all tracks reaching working prototype.
6. **ARCNet Research** (2024–Jun 2025): Founder and PI of an institutionally-funded R&D foundry at ARTPARK, 18-member lab. Three named research engagements:
   - **Satsure (KALIDEO)**: Remote-sensing QC. [Satellite-Cloud-Segmentation](https://github.com/ARC-Net-Applied-Research-and-NPD/Satellite-Cloud-Segmentation).
   - **School of Meaningful Experiences**: Multimodal evaluation. Full-stack LMS-integrated speech/interview grading platform. Five microservices: [Audio](https://github.com/ARC-Net-Applied-Research-and-NPD/Audio-Server), [Video](https://github.com/ARC-Net-Applied-Research-and-NPD/Video-Server), [Flask](https://github.com/ARC-Net-Applied-Research-and-NPD/Flask-Server), [Report](https://github.com/ARC-Net-Applied-Research-and-NPD/Report-Server), [LLM](https://github.com/ARC-Net-Applied-Research-and-NPD/LLM-SERVER).
   - **Open Science Stack** ([opensciencestack.org](https://opensciencestack.org)): OSS is a volunteer-driven non-profit building digital public infrastructure for AI-powered self-driving labs, backed by ARTPARK (IISc) and the Red Black Trust. Contribution: the **Science Compiler**, a three-layer behaviour-tree architecture for robotic laboratories that compiles high-level scientific intent into robot-agnostic execution via ontology-driven protocol synthesis. Feeds the ROS2-based [Robotic Application Stack](https://opensciencestack.org/robotics/).
7. **Zetesis Labs + ARTPARK Industry 5.0** (2025–present): Principal Investigator, Innovator-in-Residence, Board Member. Industry partners: BEL, Bosch, Toyota.

> iGEM IISc · Halocleen (2022) is listed as a project under Applied Pilots, not as a discovery-scaling programme: Team Lead, ~10-person team; Paris Jamboree Gold Medal; Climate-track finalist. Engineered *Pseudomonas putida* as the chassis, carrying synthetic circuits assembled from plasmids drawn from the methanotroph halocarbon-oxidation literature; two bioreactor designs with patents pending.

## Awards

iGEM 2022 Gold Medal (Paris), Best Climate-Crisis nomination · KVPY Fellow (AIR 50) · JEE Main 99.94th percentile · Abhiprajna (AIR 1) · All-India Subject Topper (Biology).

## Open source

- [github.com/Zetetic-Dhruv](https://github.com/Zetetic-Dhruv) — FLT kernel, transformer learning theory, First-Proof benchmark results, formal-learning-theory book/dataset, cslib, mathlib4 contributions

## Contact

- Email: dhruv@zetesislabs.com
- Academic email: dhruvgupta@iisc.ac.in
- Phone: +91 80599 96663
- Location: Bengaluru, Karnataka, India
- LinkedIn: [linkedin.com/in/dhruv-gupta-iir](https://linkedin.com/in/dhruv-gupta-iir)

## Policy

This site is public. Search engines and AI/LLM crawlers (GPTBot, ClaudeBot, PerplexityBot, Google-Extended, CCBot, and others) are explicitly permitted to index, excerpt, and cite this content. See [/robots.txt](https://zetesislabs.com/robots.txt) for the full allow-list.