Mastodon discussion Discussions 1h ago

"TheoremGraph: Bridging Formal and Informal Mathematics"Mathematical knowledge is organized around statements & their de...

by MottG

"TheoremGraph: Bridging Formal and Informal Mathematics"Mathematical knowledge is organized around statements & their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level. We introduce TheoremGraph, a unified statement-level dependency graph spanning both informal & formal mathematics. Paper:https://arxiv.org/abs/2606.25363Search tool for 9 million theorems:https://www.theoremsearch.com/search#research #math #AI

Read Original

Metadata

Reblogs Count
2
Account
mottg@researchbuzz.masto.host

Related

Mastodon discussion 47m ago

エメラダさんにAppleの話をしたら、急に怒り出してしまいました。なぜなのかさっぱり分かりません……Apple is charging you more and blaming AI data centers. That's a big d...

エメラダさんにAppleの話をしたら、急に怒り出してしまいました。なぜなのかさっぱり分かりません……Apple is charging you more and blaming AI data centers. That's a big deal. https://www.businessinsider.com/apple-ai-price-hikes-da...

27