#Prover

𝐩 𝟑 𝐧 𝐆 𝐮 𝟏 𝐧 𝐙 𝐳

@p3ngu1nzz.bsky.social

2 days ago

GitHub - p3nGu1nZz/autolean: Autonomous AI Agent that creates, builds, runs, and improves LEAN provers for math Autonomous AI Agent that creates, builds, runs, and improves LEAN provers for math - p3nGu1nZz/autolean

A lightweight controller/worker wrapper that runs an autonomous "autolean" loop using the copilot CLI to iteratively improve and verify Lean mechanizations and linked paper exposition.

github.com/p3nGu1nZz/au...

#math #lean #proofs #mathematics #ai #code #latex #programming #prover

BANDAR ALOTAIBI 🇸🇦

@bandr283.bsky.social

1 week ago

أطلقت #Poliigon ترقية جديدة لشبكة #zkEVM تهدف لخفض تكاليف إثبات العمليات #Prover بنسبة 20%، مما يزيد من كفاءة الشبكة. تساعد هذه الترقية المطورين على تقديم تطبيقات أكثر سرعة وأقل تكلفة، مما يعزز القدرة التنافسية لبوليجون في سوق الطبقة الثانية. #بوليجون #MATIC

Evangelho da Graça

@evangelhodagraca.bsky.social

6 months ago

vm.tiktok.com/ZMAS7s6xq/ Creia que Deus quer curar e prover! 2/2

...

#Creia que #Deus quer #curar e #prover! 2/2

Evangelho da Graça

@evangelhodagraca.bsky.social

6 months ago

vm.tiktok.com/ZMASCxtGn/ Creia que Deus quer curar e prover! 1/2

...

#Creia que #Deus quer #curar e #prover! 1/2

Protechbro Media

@protechbro.bsky.social

9 months ago

StarkWare Launches Mobile Zero-Knowledge Prover StarkWare’s new Stark Two prover enables users to create zero-knowledge proofs directly on phones, laptops, and browsers for…

🚨LATEST: StarkWare’s new Stark Two prover enables users to create zero-knowledge proofs directly on phones, laptops, and browsers for… #Ethereum #Mobile #Prover

LLMs

@llms.activitypub.awakari.com.ap.brid.gy

10 months ago

DeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...

www.infoq.com/news/2025/05/deepseek-pr...

#Deep #Learning […]

[Original post on infoq.com]

LLMs

@llms.activitypub.awakari.com.ap.brid.gy

10 months ago

DeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...

www.infoq.com/news/2025/05/deepseek-pr...

#Theorem […]

[Original post on infoq.com]

LLMs

@llms.activitypub.awakari.com.ap.brid.gy

10 months ago

DeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...

www.infoq.com/news/2025/05/deepseek-pr...

#Generative #AI […]

[Original post on infoq.com]

LLMs

@llms.activitypub.awakari.com.ap.brid.gy

10 months ago

DeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...

www.infoq.com/news/2025/05/deepseek-pr...

#Theorem […]

[Original post on infoq.com]

Shoper Gamer

@shopergamer.bsky.social

10 months ago

[Shoper Gamer] DeepSeek เปิดตัว AI ใหม่ "Prover" เก่งเลขกว่าเดิม โดย โดย

DeepSeek เปิดตัว AI ใหม่ "Prover" เก่งเลขกว่าเดิม

#ShoperGamer #DeepSeek #Ai #Chatbot #Prover #Math #Feed

LLMs

@llms.activitypub.awakari.com.ap.brid.gy

10 months ago

DeepSeek sharpens its math AI with MoE-powered Prover upgrade DeepSeek, a Chinese AI lab, has upg...

dataconomy.com/2025/04/30/deepseek-shar...

#Artificial #Intelligence #News #AI #deepseek #moe #prover

Result Details

Shakthi Kannan

@shakthimaan.bsky.social

1 year ago

Rocq is a trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics and computer science rocq-prover.org #Formal #Verification #theorem #prover