Institute of Theoretical Physics
PulseAugur coverage of Institute of Theoretical Physics — every cluster mentioning Institute of Theoretical Physics across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
AI and Math Readings Shared September 7-13, 2026
This cluster contains a single item detailing readings shared between September 7-13, 2026, related to AI and mathematics. The shared content appears to be a curated list of resources or articles, indicated by the URL p…
-
AI4Math Readings Shared: August 3-9, 2026
This cluster contains a single item detailing readings shared between August 3rd and 9th, 2026. The readings are related to AI, specifically AI4Math, and include topics such as Coq, FormalVerification, FunctionalProgram…
-
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…
-
Innocare Pharma's ITP drug application accepted by China regulators
A new drug, 奥布替尼 (Obutini), developed by Innocare Pharma, has had its new drug application accepted by China's National Medical Products Administration for treating primary immune thrombocytopenia (ITP). This marks the …