@moodd1342.bsky.social
Reposted
VERINA: Benchmarking verifiable code generation. ~ Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song. arxiv.org/abs/2505.23135 #AIforCode #ITP #LeanProver
VERINA: Benchmarking Verifiable Code Generation
Large language models (LLMs) are increasingly integrated in software development, but ensuring correctness in LLM-generated code remains challenging and often requires costly manual review. Verifiable...
arxiv.org
May 30, 2025 at 11:06 AM
VERINA: Benchmarking verifiable code generation. ~ Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song. arxiv.org/abs/2505.23135 #AIforCode #ITP #LeanProver
Reposted
GrapheneOS version 2025052800 released:
grapheneos.org/releases#202...
See the linked release notes for a summary of the improvements over the previous release.
Forum discussion thread:
discuss.grapheneos.org/d/22776-grap...
#GrapheneOS #privacy #security
grapheneos.org/releases#202...
See the linked release notes for a summary of the improvements over the previous release.
Forum discussion thread:
discuss.grapheneos.org/d/22776-grap...
#GrapheneOS #privacy #security
GrapheneOS releases
Official releases of GrapheneOS, a security and privacy focused mobile OS with Android app compatibility.
grapheneos.org
May 28, 2025 at 2:44 PM
GrapheneOS version 2025052800 released:
grapheneos.org/releases#202...
See the linked release notes for a summary of the improvements over the previous release.
Forum discussion thread:
discuss.grapheneos.org/d/22776-grap...
#GrapheneOS #privacy #security
grapheneos.org/releases#202...
See the linked release notes for a summary of the improvements over the previous release.
Forum discussion thread:
discuss.grapheneos.org/d/22776-grap...
#GrapheneOS #privacy #security
Reposted
A proof of concept tool to verify estimates. ~ Terence Tao. terrytao.wordpress.com/2025/05/01/a... #Math #AI #LLMs #ChatGPT #Python
A proof of concept tool to verify estimates
This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many mathematical tasks in areas such as algebra, calculus, and num…
terrytao.wordpress.com
May 2, 2025 at 6:36 AM
Reposted
Advancing mathematics by guiding human intuition with AI. ~ Alex Davies et als. (2021). www.nature.com/articles/s41... #Math #AI
Advancing mathematics by guiding human intuition with AI - Nature
A framework through which machine learning can guide mathematicians in discovering new conjectures and theorems is presented and shown to yield mathematical insight on important open problems in diffe...
www.nature.com
May 2, 2025 at 6:48 AM
Advancing mathematics by guiding human intuition with AI. ~ Alex Davies et als. (2021). www.nature.com/articles/s41... #Math #AI
Reposted
Semantics of probabilistic programs using s-finite kernels in dependent type theory. ~ Reynald Affeldt, Cyril Cohen, Ayumu Saito. dl.acm.org/doi/pdf/10.1... #ITP #Rocq
May 2, 2025 at 7:11 AM
Semantics of probabilistic programs using s-finite kernels in dependent type theory. ~ Reynald Affeldt, Cyril Cohen, Ayumu Saito. dl.acm.org/doi/pdf/10.1... #ITP #Rocq
Reposted
Frontier of formal theorem proving with large language models: Insights from the DeepSeek-Prover. ~ Huajian Xin. europroofnet.github.io/_pages/WG5/E... #ITP #LeanProver #LLMs #DeepSeek
May 2, 2025 at 7:13 AM
Frontier of formal theorem proving with large language models: Insights from the DeepSeek-Prover. ~ Huajian Xin. europroofnet.github.io/_pages/WG5/E... #ITP #LeanProver #LLMs #DeepSeek
Reposted
Automated theorem provers as the hub of the AI math ecosystem. ~ Stephan Schulz. europroofnet.github.io/_pages/WG5/E... #Math #AI #ITP
May 2, 2025 at 7:24 AM
Automated theorem provers as the hub of the AI math ecosystem. ~ Stephan Schulz. europroofnet.github.io/_pages/WG5/E... #Math #AI #ITP
Reposted
Your occasional reminder that generative artificial intelligence is total shite.
Election poster for AI candidate with three arms appears on Dublin street
An election poster featuring an AI-generated candidate with three arms has been spotted on Drury Street in Dublin.
m.independent.ie
November 28, 2024 at 10:52 AM
Your occasional reminder that generative artificial intelligence is total shite.