ENTITY ai-safety-formalization-atlas

ai-safety-formalization-atlas

PulseAugur coverage of ai-safety-formalization-atlas — every cluster mentioning ai-safety-formalization-atlas across labs, papers, and developer communities, ranked by signal.

Show in brief

Total · 30d

1 over 90d

Releases · 30d

0 over 90d

Papers · 30d

1 over 90d

TIER MIX · 90D

TOPICS

safety 1
paper 1
other 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_168058 · Jul 28 · 09:16

AI Safety Formalization Atlas released using Lean Prover

A new open-source project, the AI Safety Formalization Atlas, has been released by Mario Brčić and collaborators. This initiative aims to formalize AI safety principles using the Lean Prover, a theorem prover and progra…

AI Safety Formalization Atlas released using Lean Prover