Marshall Mathur

DE- Designing D.Warehouse for India's top UPI app, USA's top whey protein company. I keep faith in my Culture & Muay Thai. Boxing Amateur - score 7-1.
JSR

[Marshall Mathur @SehmatRT]

Just putting it out as I told @HHMaharajaSawai and @Zoomerjeet Pt.1

[Marshall Mathur @SehmatRT]

@AalokDThakkar Sir, if you don't mind, I took some inspiration from your post regarding Lean and Laws of Pramana labs. I did something similar here - https://t.co/9eikKt7Hmb

Could you take a look whenever you have some time, I would love feedback and what's bad in it.

[Ravi Kiran S @vikataravi]

A breakthrough for Indic manuscript OCR.

Introducing UniLipi - a unified Sanskrit manuscript OCR system capable of decoding across 13 scripts.

[Marshall Mathur @SehmatRT]

@OnTheGrapevine Turns out even the AI age continues to run on Indian labour.

The software changes.
Hierarchy remains.

Reminds me of EIC as they also expanded office space in India while insisting it was a partnership.

[Aalok Thakkar @AalokDThakkar]

@mittalbhumika7 and I have started Project Brahmagupta, and invite everyone to contribute problems. The project will be formally launched on June 7, 2026.

More details at:
https://t.co/WQAWNLQ6CN

[Marshall Mathur @SehmatRT]

@AalokDThakkar @AnimaAnandkumar Bridging constitutional procedure into executable reasoning remains one of the most difficult parts of the domain. Theorems with real meanings proving the doctrines aren't easy to formalize. 4 done. Will update on this later.

Note to self - don't use mathlib unnecessarily ever

[Marshall Mathur @SehmatRT]

Day 1

Most legal reasoning systems optimize for retrieval.

The harder problem is consistency.

LegalLean explores whether parts of criminal adjudication can be represented as formally constrained reasoning systems rather than probabilistic text generation pipelines.

[Marshall Mathur @SehmatRT]

@AalokDThakkar @AnimaAnandkumar Day 4

Underrated problem in computational law: procedure is often modeled as metadata rather than reasoning state.

But in real adjudication: procedure changes admissibility, admissibility changes evidentiary weight, and evidentiary change can alter the verdict space entirely.

[Teknium 🪽 @Teknium]

We just hit number one globally across all AI apps on OpenRouter.

Super grateful to the nearly 1000 contributors who've helped make Hermes Agent great, thank you!

What do you want to see next?

[Marshall Mathur @SehmatRT]

Agnivarcas is my real name why don't you allow other folks to explain

[Puyangan Adiyan @Puyangan5]

Agnimitra is such a deadly name 🔥🔥
What exactly does it mean though?

[Marshall Mathur @SehmatRT]

@tushar_bans Are you interested in people formalizing Indian laws using lean?

[Marshall Mathur @SehmatRT]

@huihoo Are you interested in formalizing legal laws with lean? If yes then please let me know.

[Marshall Mathur @SehmatRT]

@huihoo Thankyou for sharing

[Marshall Mathur @SehmatRT]

Current work focuses on:
-evidentiary consistency
-admissibility-sensitive reasoning
-contradiction handling
-doctrinal constraint enforcement
-deterministic auditability

Procedure
   ↓
Admissibility
   ↓
Evidence State
   ↓
Verdict Space

@AnimaAnandkumar , @AalokDThakkar

[Marshall Mathur @SehmatRT]

@himanshutwtxs @theomkute @LocalDev_ codex

[Marshall Mathur @SehmatRT]

@oldschoolmonk @sayani06 @RetardedHurt Bhai aap dekh rhe ho

[Amit Schandillia @Schandillia]

Yes. And for a bloody good reason.

[Marshall Mathur @SehmatRT]

@pseudokid @XiaomiMiMo @leijun Also, use the Hermes agent if you want to save tokens and do meaningful research @NousResearch

[Marshall Mathur @SehmatRT]

@pseudokid True, however only Mimo-2.5-pro and Gpt 5.5 outperform all of them in Lean formalization. Shoutout to @XiaomiMiMo , @leijun